toJSON(1 + f32)
