cpp: Fix positive-float test
cpp: Add positive integer test
cpp: Fix NonNegativeInteger constraint
cpp: Fix positive integer tests