Let x be a positive real number. Assume that in the left-justified binary representation of x, b53 = 1 and b54 = b55 = b56 = . . . = 0. If xl is the floating-point result from rounding x down and xr is the floating-point result from rounding x up, show that |x - xl| = |x - xr|.