mozart/mozart2 — pull request #166 by eregon (2014-03-23 13:06:11+00:00)
Title: Refactor the BigInt entry points to use standard builders

... and reduce the number of BigInt-specific methods in VM/VMEnv.
Also fixes a missing overflow check on 32-bits.