tract_core::ops::math::sub