mozart/mozart2 — pull request #164 by eregon (2014-03-20 17:39:03+00:00)
Title: Improve a couple Bigint-related things

Most importantly, this fixes the overflow detection in Float.toInt and the boot unpickler.