f32 < i64 * i32
