add binaryExpression for MontFp