const GEF32_LEQ_U64_MAX: u64 = 18446742974197923840;
Greatest Exact Float (32 bits) less-than-or-equal-to u64::MAX when rounding towards zero.