Small documentation update of rounding issues with time arithmetic