f32 ** 1 <= i
