In message: <000901c7f0c6$4a36e190$0300a8c0 at pc52>
"Tom Van Baak" <tvb at LeapSecond.com> writes:
: And a time nut if you wonder if that's 80 kHz or 80.000 kHz
Or if you invent some ascii way to put a little bar over the last
significant digit...
80000
vs
_
80000
:-)
Warner