I think `[0,60)` is mathematically correct...