Re-fix `find_maximum_integer_argument`.

Rather embarrasing; I re-broke this when trying to make everything tidy and
correct with respect to sign-edness.