Give the gift of Drupal. All merchandise is 50% off through 2016.
...because Form API returns integer keys as strings.
Symptom: Site time zone is broken currently. It works, but if you reload the Clock config form, the default value is wrong, so if you just save it without changing anything, you're back to custom time zone.