6.9.3.4.1 ExpDigits is an implementation-defined value representing the number of digit-characters written in an exponent.
The value of ExpDigits is three (3) for the Windows edition of Irie Pascal, and two (2) for the other editions. So for example
write('one=', 1.0)
will write
one= 1.0E+000
or
one= 1.0E+00
depending on the edition of Irie Pascal being used.