tract_hir::ops::math::mul