Num instance for Time
Cleaning