f32 <= min(i64, i32)
