Fix: int-division already is "ceiling"