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