Convert 32 to 16 bit WAV (Linux) recipe

Check file info:

devin@studio:~/Music/samples$ sndinfo funky.wav 
virtual_keyboard real time MIDI plugin for Csound
PortMIDI real time MIDI plugin for Csound
PortAudio real-time audio module for Csound
util sndinfo:
funky.wav:
 srate 44100, stereo, 32 bit WAV, 9.835 seconds
 (433737 sample frames)

Convert to 16 bit:

sox funky.wav -b 16 funky16.wav