allow unification of two different numeric sorts
Reset dependencies