coretests: also test f16 and f128 in const (but only there for now)

Author: RalfJung

library/coretests/tests/num/mod.rs

@@ -891,12 +891,11 @@ macro_rules! test_float {
                 // be safely doubled, while j is significantly smaller.
                 for i in $max_exp.saturating_sub(64)..$max_exp {
                     for j in 0..64u8 {
-                        let large = <$fty>::from(2.0f32).powi(i);
+                        let large = (2.0 as $fty).powi(i);
                         // a much smaller number, such that there is no chance of overflow to test
                         // potential double rounding in midpoint's implementation.
-                        let small = <$fty>::from(2.0f32).powi($max_exp - 1)
-                            * <$fty>::EPSILON
-                            * <$fty>::from(j);
+                        let small =
+                            (2.0 as $fty).powi($max_exp - 1) * <$fty>::EPSILON * <$fty>::from(j);
 
                         let naive = (large + small) / 2.0;
                         let midpoint = large.midpoint(small);
@@ -948,6 +947,19 @@ macro_rules! float_const_assert {
     };
 }
 
+// FIXME(f16_f128): `f16` is only tested in consts for now.
+test_float!(
+    f16_const,
+    float_const_assert,
+    f16,
+    f16::INFINITY,
+    f16::NEG_INFINITY,
+    f16::NAN,
+    f16::MIN,
+    f16::MAX,
+    f16::MIN_POSITIVE,
+    f16::MAX_EXP
+);
 test_float!(
     f32,
     float_assert,
@@ -996,3 +1008,16 @@ test_float!(
     f64::MIN_POSITIVE,
     f64::MAX_EXP
 );
+// FIXME(f16_f128): `f128` is only tested in consts for now.
+test_float!(
+    f128_const,
+    float_const_assert,
+    f128,
+    f128::INFINITY,
+    f128::NEG_INFINITY,
+    f128::NAN,
+    f128::MIN,
+    f128::MAX,
+    f128::MIN_POSITIVE,
+    f128::MAX_EXP
+);