- implement a <= x <= b ==> x-a <=u b-a