explicitly cast result of math.ceil() to int