tract_hir::ops::math::add