BinaryInteger