Kommt schwer auf Deinen Player an.. ich denke nicht das Du da nen tollen 64-Bit-Player findest^^, solange Du einen 32-Bit-Player benutzt, reichen auch 32-Bit-Codecs.
Ich würde sowieso so weit wie es geht auf das Codec-Gefrickel verzichten und einen Codec-Losen Player wie VLC benutzen.