../../../../../Prelude/Natural/toInteger 0