tract_hir::ops::math::sub