⁵See ‘Float’ on page 895 and ‘DoubleFloat’ on page 833 for additional information on floating-point types.