Sum (<*> INT) = 0 by BINOP_2:4, FINSOP_1:10;