natural_number move const/assign. more demo_natnum