min(f32 + i)
