BinArithNode fixup