tract_core::ops::math::mul