今の解説と同じことかもしれませんが、こういうのはいかがでしょうか？

x＝2x1＋x2  ・・・①
両辺を2で割る
x／2＝x1＋x2／2
両辺のintを考え、左辺と右辺を交換
x1＝int(x／2)  ・・・②  int(x2／2)は必ず0
②を①に代入してx2を求める
x2＝x－2x1＝x－2int(x／2)  ・・・③

2進数x2x1は2x2＋x1であり、これに②と③を代入
2(x－2int(x／2))＋int(x／2)＝2x－4int(x／2)＋int(x／2)＝2x－3int(x／2)