allow unification of two different numeric sorts