[PATCH] Time: Let user request precision from current_tick_length()