(wash-number): Ensure that floating-point values
are read as long floats.
Regenerate file.