new type: non-negative-int-or-perl