According to the jqwik documentation here: https://jqwik.net/docs/current/user-guide.html#integer-constraints it states the integer constraint annotations as:
