Здравствуйте, Кодт, вы тут много всего написали:

Насколько я понимаю применять такой алгоритм в принципе не стоит. Равно как и оценивать его эффективность.
Если переменная a и b, не целочисленные. И a намного больше b => a-=b даст нам a. И весь алгоритм посыпался.