Give leap-second ISO strings a real fraction