Use simplejson for JSON encoding/deciding to support decimals.