The current implementation:

https://github.com/microsoft/STL/blob/main/stl/inc/ranges#L5238-L5245

effectively performs two divisions, when all we need to do is to simply divide and add 1 to the quotient if the remainder is non-zero.