Real numbers/Floor/Definition