◷ Circlebox Time.Time, well spent.