@@ -1248,18 +1248,6 @@ pub trait Float
12481248 /// Returns the `1` value.
12491249 fn one ( ) -> Self ;
12501250
1251- /// Returns true if this value is NaN and false otherwise.
1252- fn is_nan ( self ) -> bool ;
1253- /// Returns true if this value is positive infinity or negative infinity and
1254- /// false otherwise.
1255- fn is_infinite ( self ) -> bool ;
1256- /// Returns true if this number is neither infinite nor NaN.
1257- fn is_finite ( self ) -> bool ;
1258- /// Returns true if this number is neither zero, infinite, denormal, or NaN.
1259- fn is_normal ( self ) -> bool ;
1260- /// Returns the category that this number falls into.
1261- fn classify ( self ) -> FpCategory ;
1262-
12631251 // FIXME (#5527): These should be associated constants
12641252
12651253 /// Returns the number of binary digits of mantissa that this type supports.
@@ -1283,6 +1271,18 @@ pub trait Float
12831271 /// Returns the largest finite value that this type can represent.
12841272 fn max_value ( ) -> Self ;
12851273
1274+ /// Returns true if this value is NaN and false otherwise.
1275+ fn is_nan ( self ) -> bool ;
1276+ /// Returns true if this value is positive infinity or negative infinity and
1277+ /// false otherwise.
1278+ fn is_infinite ( self ) -> bool ;
1279+ /// Returns true if this number is neither infinite nor NaN.
1280+ fn is_finite ( self ) -> bool ;
1281+ /// Returns true if this number is neither zero, infinite, denormal, or NaN.
1282+ fn is_normal ( self ) -> bool ;
1283+ /// Returns the category that this number falls into.
1284+ fn classify ( self ) -> FpCategory ;
1285+
12861286 /// Returns the mantissa, exponent and sign as integers, respectively.
12871287 fn integer_decode ( self ) -> ( u64 , i16 , i8 ) ;
12881288
0 commit comments