how many time zones are offset from utc 13.0?
(COUNT (AND time.time_zone (JOIN time.time_zone.offset_from_uct 13.0^^http://www.w3.org/2001/XMLSchema#float)))