Next: , Previous: Machine Integer Info Record, Up: System File Format


B.6 Machine Floating-Point Info Record

The floating-point info record, if present, has the following format:

     /* Header. */
     int32               rec_type;
     int32               subtype;
     int32               size;
     int32               count;
     
     /* Data. */
     flt64               sysmis;
     flt64               highest;
     flt64               lowest;
int32 rec_type;
Record type. Always set to 7.
int32 subtype;
Record subtype. Always set to 4.
int32 size;
Size of each piece of data in the data part, in bytes. Always set to 8.
int32 count;
Number of pieces of data in the data part. Always set to 3.
flt64 sysmis;
The system missing value.
flt64 highest;
The value used for HIGHEST in missing values.
flt64 lowest;
The value used for LOWEST in missing values.