README.md from nat() to pos_integer()