convert arbitrary Python objects into JSON strings and back
