[LAU] Best-quality command-line float32-to-16-bit conversion?

[Ken Restivo]

I'm converting a bunch of wav files from 32-bit float to 16-bit (CD) quality.

What's the best quality tool to use on the command line? I have sndfile-convert  1.0.17-4, and sox 14.0.1-2+b1, and also ecasound and a bunch of other stuff.

Thanks.

-ken