toJSON(i32 >= f32)
