6.9.3.1 The default value of TotalWidth for real-type is implementation-defined.
In other words, when writing real values to text files, the default width of the output field is implementation-defined.
Irie Pascal uses 9 as the default value of TotalWidth for real type.