FLOAT64_MAX

The largest finite float64, about 1.7976931348623157e308.

FLOAT64_MAX :: 0h7FEFFFFF_FFFFFFFF