HomeIsabelle/Phabricator

Implement conversion between LargeWord and Word and Int.