[math-fun] carryless multiplication