B.6 Machine Floating-Point Info Record
The floating-point info record, if present, has the following format:
/* Header. */
/* Data. */
- Record type. Always set to 7.
- Record subtype. Always set to 4.
- Size of each piece of data in the data part, in bytes. Always set to 8.
- Number of pieces of data in the data part. Always set to 3.
- The system missing value.
- The value used for HIGHEST in missing values.
- The value used for LOWEST in missing values.