[ Peano ] Added int2Nat and exported nat2Int.