more bignum tweaks
bignum & naming cleanness (lossless_multiply replaces

'width_doubling_multiply' and 'multiply_to_fit' names)