Первый полученный остаток — цифра старшего разряда двоичного числа.

Верно. При последовательном делении на 2 остатки записывают в обратном порядке: первый остаток становится цифрой старшего разряда.