Using the output of `mktime` results in the timestamp in `aux_hours.json` being stored as a floating point number. I know this is done "[for compatibility with time()](http://docs.python.org/2/library/time.html#time.mktime)", but, personally, I would prefer it to be an int, for compatibility with everyone else (well, except JavaScript).

What do you think?