Leap seconds are ignored by JavaScript (not clear if implementations follow, but align for now). Also do some XXX cleanup.