99999999999999999x+5000000000 is less than or equal to 1000000000000000000000000000000000000000000000000000000000000000000000000