Hey Jon,
Thanks for the feedback! I've fixed the error in our internal known issues database, and will update the external page in the next few days.
You're absolutely correct; the discrepency is minor, and people are used to dealing with the inherent imprecision of floating point numbers. However, the timestamp format was designed so people could be very, very precise with timing, so we wanted to document this issue.
Thanks again!
