authority has a precondition we must check instead of checking for Void.
Fix typo.
Overflow situations not detected/handled correctly. I.e. things like 7
weeks of seconds would not work properly. With arithmetic in 64 bits
we avoid such problems for a long time.