Fix Python 2.6's json float encoder.