unreachable due the maximum and minimum values being special cases
in the caller plus the limits of the maximum itheta precision.

The testcases are also updated to only test the reachable range.