>And a DAW would mix tracks in 64-bit float if it makes any difference.
No

>Since the sources are still 16-bit integer.
But psycho-lossy codecs like mp3 converts to floating point

>Which may be off the studio mix.
Just use EQ & FX.