This module is used to deal with 64-bit floating point types.
This module provides basic math constants: Digits, Epsilon, Infinity, Mantissa_Digits, Max (largest finite f64 value), Max_10_Exp, Max_Exp, Min (smallest finite f64 value), Min_10_Exp, Min_Exp, Min_Positive (smallest possible normalized f64 value), NAN, Neg_Infinity, and Radix.