fix(library/data/int): define sub from algebra.sub