toJSON(f32 ^ 0.5)
