const GEF64_LEQ_U64_MAX: u64 = 18446744073709549568;
Greatest Exact Float (64 bits) less-than-or-equal-to u64::MAX when rounding towards zero.