min(f32 ^ 1)
