Additional tests for overflow and documentation of overflow conditions

[TristonianJones]

Additional documentation and tests for timestamp and duration overflow behavior.

There is also a note about why double -> int and double -> uint overflow at
minInt, maxInt, and maxUint since some runtimes may support a conversion
from double to int depending on compiler options.