Should 0 really be considered as a non positive? I learned math at a french school, and 0 is definitely considered as a positive (k / k >= 0) and negative (k / k <= 0) number , and “strictly positive” is used when you want to exclude it from an interval.
To avoid other people making the same mistake, would it be possible to change
a and b are positive integers
a and b are strictly positive integers