Division by two and powers of two is extremely efficient because of the binary representation of values in a computer, and this is no doubt why the scheme has been chosen. I don’t know the algorithm for the process you illustrated, but expect there is something that will handle it extremely efficiently. I think this is in the realm of numerical analysis if you want to search!