\lfloor x\rfloor\leq -1