Make reverse_format_time() deterministic.