Add some appropriate bignum typedefs for generic 64-bit systems,