Digit_Expansions.Binary_Operations