how to use Natural type?

[demotomohiro]

It seems `Natural` or `Positive` types are just used for procedure parameter 
type that takes only (x >= 0) or (x > 0) integer values, not for generic 
arithmetic use.