gres_json_generic(): convert to float before serialization to json