time_keys: fix subsecond rounding bug