2x-floor(x)