internal naming
remove homebrew bignums

zarith is way cooler but num is common. wat do?
big naturals
style