Defining FixedPoint binary arithmetic operators