This code compares a value that is guaranteed to be non-negative with a negative constant.