If we're going to make the `when' file format incompatible, we should
change it to an ASCII representation of the number.

I still haven't figured out why the `when' file (which is trivial and
only accessed twice during a SUP session) is in a binary format, but
the scan list (which is fairly large and has to be parsed) uses an
ASCII format for times.  It's rather silly.