f32 > 1 ** 0.5
