UTC time scales and leap second support in the Koka programming language | Heykuki News