Make bignum.py self-contained, by importing versions of the two