Это не то же самое. Подобного рода код вполне может применяться на каком-нибудь железе, не имеющем аппаратного деления. А для кода из заглавного поста мне вообще трудно придумать применение. Разве что в какой-то специфической задаче заранее известно, что a будет больше b не более чем в единицы раз.