floor and ceiling-functions added