:: Natural -> Nat package:SciBaseTypes