What are the advantages if any to compiling with libmpg123 support instead of just letting ffmpeg handle mp3 decoding? I remember reading somewhere at some point that libmpg123 uses floats internally, while ffmpeg uses fixed point for mp3 decoding. Is/was this this true? Are there performance differences?