f32 < div(1, 1)
