[mikeash]

Exactly. The underlying clock would store actual seconds since 1970, and when you request UTC it would add the current leap second offset. Which is more or less how GPS does it already, for an actual working example.