Use json_bad_cast in constructor of json_float