Totally off-topic, but that looks a lot like Haskell, what did you do to make ghci have such handy calculator functionality? (I can't find secs in Hoogle)
I bet that during the initial design phase, they wanted to keep the design simple, have enough timekeeping range to cover the mission and then maximize temporal resolution.
Someone realized that a counter operating on tenths of a second from 2000 was both easy to use and sufficient for the primary mission... they then thought nothing of it until the loss of contact