allow unification of two different numeric sorts
Merge pull request #11 from nikivazou/numeric

allow unification of two different numeric sorts. 
RJ: Nice, thanks!