toJSON(float(1))
