[#1078] smaller simplejson hack: use for_json and pretend to be an int