Natural numbers