HomeIsabelle/Phabricator

factored out ancient numeral representation