Алгоритм останавливается, когда частное становится равным 1.

Неверно. При переводе числа в двоичную систему последовательное деление на 2 продолжают до тех пор, пока частное не станет равным 0.