the time zone with a dst offset from utc that is less than or equal to 14.0 is called what?
(AND time.time_zone (le time.time_zone.dst_offset_from_utc 14.0^^http://www.w3.org/2001/XMLSchema#float))