An MSVC version of the 16->32-bit bignum optimisation, derived from part of