RE: expression for Floor function