correction floor() and ceil() on integer