const LEF32_GEQ_U64_MIN: u64 = u64::MIN; // 0u64
Least Exact Float (32 bits) greater-than-or-equal-to u64::MIN when rounding towards zero.