Generally speaking, yes, the faster a format decodes, the better battery life it will get. Especially in flash players. In disk players, larger file sizes can offset some of the gain because the disk needs to be spun more. It won't double though, as the CPU is not the only thing draining power, nor is the codec the only code being run on the CPU.