[Tachyon-list] Bignum Divisors

Hello,

I tested the use of 12 padding bits for 64bit boxed integers. Everything seemed to work fine, for the most part, except that a few unit tests failed with the exception:

we don't yet support multi-digit divisors

I'm guessing some of the values produced during constant propagation are outside of what is representable with a single big digit. Marc, would you have time to implement support for multiple big digit divisors?

- Maxime