Ну, это только подтверждает мои слова. А насчёт мп3… Целочисленный декодер? Это многое объяснило бы. Их, вообще-то, много. И наиболее качественный, mpg123, кстати, тоже можно собрать с поддержкой низкого качества декодирования. Звучат, конечно, такие мп3 не очень. Но обычно, самое ресурсоёмкое при декодировании аудио -- это ресамплинг. Чтобы он был качественным, нужно приложить много ресурсов. И чтобы избежать проблем с клиппингом и фильтрами, все аудиопотоки должны быть в разрешении более высоком, чем аудиофайл, и это тоже не целочисленные вычисления. Не всё так однозначно, но, на мой взгляд, едва ли это то, чем можно измерять производительность или эффективность.