add built-in naturals