HomeIsabelle/Phabricator

Fixes for when int is LargeInt.int.