Add positive-integer directive