Add Fractional, Real, and RealExt traits and update Round trait. Rename Natural trait to Integer.

[brendanzab]

As part of the numeric trait reform (see issue #4819), I have added the following traits to core::num and implemented them for floating point types:

pubtraitRound{fnfloor(&self) -> Self;fnceil(&self) -> Self;fnround(&self) -> Self;fntrunc(&self) -> Self;fnfract(&self) -> Self;}pubtraitFractional:Num
+ Ord
+ Round
+ Quot<Self,Self>{fnrecip(&self) -> Self;}pubtraitReal:Signed
+ Fractional{// Common Constantsfnpi() -> Self;fntwo_pi() -> Self;fnfrac_pi_2() -> Self;fnfrac_pi_3() -> Self;fnfrac_pi_4() -> Self;fnfrac_pi_6() -> Self;fnfrac_pi_8() -> Self;fnfrac_1_pi() -> Self;fnfrac_2_pi() -> Self;fnfrac_2_sqrtpi() -> Self;fnsqrt2() -> Self;fnfrac_1_sqrt2() -> Self;fne() -> Self;fnlog2_e() -> Self;fnlog10_e() -> Self;fnlog_2() -> Self;fnlog_10() -> Self;// Exponential functionsfnpow(&self,n:Self) -> Self;fnexp(&self) -> Self;fnexp2(&self) -> Self;fnexpm1(&self) -> Self;fnldexp(&self,n:int) -> Self;fnlog(&self) -> Self;fnlog2(&self) -> Self;fnlog10(&self) -> Self;fnlog_radix(&self) -> Self;fnilog_radix(&self) -> int;fnsqrt(&self) -> Self;fnrsqrt(&self) -> Self;fncbrt(&self) -> Self;// Angular conversionsfnto_degrees(&self) -> Self;fnto_radians(&self) -> Self;// Triganomic functionsfnhypot(&self,other:Self) -> Self;fnsin(&self) -> Self;fncos(&self) -> Self;fntan(&self) -> Self;// Inverse triganomic functionsfnasin(&self) -> Self;fnacos(&self) -> Self;fnatan(&self) -> Self;fnatan2(&self,other:Self) -> Self;// Hyperbolic triganomic functionsfnsinh(&self) -> Self;fncosh(&self) -> Self;fntanh(&self) -> Self;}/// Methods that are harder to implement and not commonly used.pubtraitRealExt:Real{// Gamma functionsfnlgamma(&self) -> (int,Self);fntgamma(&self) -> Self;// Bessel functionsfnj0(&self) -> Self;fnj1(&self) -> Self;fnjn(&self,n:int) -> Self;fny0(&self) -> Self;fny1(&self) -> Self;fnyn(&self,n:int) -> Self;}

The constants in Real could be associated items in the future (see issue #5527). At the moment I have left the constants in {float|f32|f64}::consts in case folks need to access these at compile time. There are also instances of int in Real and RealExt. In the future these could be replaced with an associated INTEGER type on Real.

Natural has also been renamed to Integer. This is because Natural normally means 'positive integer' in mathematics. It is therefore strange to implement it on signed integer types. Integer is probably a better choice.

I have also switched some of the Integer methods to take borrowed pointers as arguments. This brings them in line with the Quot and Rem traits, and is be better for large Integer types like BigInt and BigUint because they don't need to be copied unnecessarily.

There has also been considerable discussion on the mailing list and IRC about the renaming of the Div and Modulo traits to Quot and Rem. Depending on the outcome of these discussions they might be renamed again.

[brendanzab]

Updated to fix a build error with std::rational::Ratio.

[brson]

👍 Nice work.

[brendanzab]

@brson Cheers! Is it just me or is @bors taking a while on this one?