toJSON(i32 != f32)
