let
bits_of_max_float = of_int64 (
Int64
.bits_of_float max_float)