View Single Post
  #11 (permalink)  
Old Sat Dec 01, 2012, 08:45am
bob jenkins bob jenkins is offline
Official Forum Member
 
Join Date: Aug 1999
Posts: 18,191
For most clocks, setting the clock to 20:00 is 20:00.000000

Thr first instance of changing from 10:01 to 10:00 is really 10:00.9999999

I think the relevance part is up to you to prove.
Reply With Quote