Avoid unnecessary rounding errors in timestamps