Have there actually been any time zones that are not an even multiple of a whole minute since the advent of leap seconds? The only non whole minute time zone I know about is Dublin Mean Time, which hasn't been used since 1916.
Also, general question: is there any standard on how leap seconds are to
be handled in timezones that have an offset that is not a multiple of
one whole minute? What does tzcode do now?