`simplejson` encodes Decimal objects correctly. (https://code.google.com/p/simplejson/)