tract_core::ops::math::add