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