とりあえず、2-進整数の厳密な定義ってどこかにあります?
四則演算とかも含めて。