HomeIsabelle/Phabricator

Implement large word operations.