primitives: limit Uint to int conversions#225

tcoratger merged 5 commits intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:int-conversionstcoratger/leanSpec:int-conversionsCopy head branch name to clipboard