Division tests for BinaryOp and BinaryOpLiteral (fail for now)