misc/MultOdd: even⊎odd , even*nat .