i64 < f32 * i32
