../../../../../../Prelude/Natural/toInteger 3