New3/ : Implement mkInteger in terms of mkNatural.