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