Check two unsigned integers to determine if X>=Y
If not X>=Y, the test fails.
Note that if the check fails, the remaining of the test is aborted
unsigned signed integer
unsigned signed integer to compare against X