My question is: is there another free MP3 decoder which will decode to (at least 32-bit) float? I would like to check to see if the problem is in mp3packer, or if it's a rounding error in Foobar's decoder.
I honestly don't see how it could be either mp3packer or Foobar, though. Generally, if mp3packer messes something up, there are BIG differences in a few places in the file. This file shows a < -135dB difference all throughout the file. Foobar's MP3 decoder will have recieved the same data with both files, so even if it was a rounding error, it should be the same for both. Something weird is going on