mp3 doesn't require floating point to decode. In the before times, I used mpg321 on an underpowered system because it used the MAD library to decode with only integers, and was able to play my files at only 80% cpu instead of 95% with a floating point decoder. I seem to recall there being a windows player that was faster than winamp, possible because of integer decoding, might have been K-Jofol

https://www.underbit.com/products/mad/