Def toNat

Modification history