PSPP-BUG: DISPLAY DICTIONARY prints large missing values in e-notation

[Müller , Andre]

Dear all,

for a conversion of all our archive's datasets to a textual format,
I export the dataset's metadata with DISPLAY DICTIONARY.

The exported missing value (ranges) get mangled to rounded e-notations;
e.g. 9999998 is represented as 1e+07, 9999984 as 9.99998e+06.

That way, the discrete missing values (as I need them for writing to DDI)
cannot be identified; but anyway, they should not get rounded at all.

I do not see an obvious workaround for this, nor an option to control the 
output.
Can anyone think of a way to export the proper values?
Shall I make this a proper bug entry?

Thanks,
Andre