Can't convert to 16 Bit PCM wav

So, I have a problem. I need a wav file to be converted into 16 bit PCM wav, a program requires it. So, I loaded a 42-bit float wav into audacity, used export, and expected the output to be correct format. But no, it’s still 32-bit float. How to fix that?
I’m using windows 7, Audacity 2.1.0

But no, it’s still 32-bit float.

How do you know that?

Audacity does not have Clip Info. If you’re waiting for Audacity to tell you about your sound file, you may have a long wait.

Media Info is available for Windows.

Get the program, not the installer.

Koz

In other words, when you import a file, Audacity defaults to expanding it to 32-bit float and that is what you are shown to left of the blue waves - the bit depth of the audio in the track, not the bit depth of the original file.

2.1.0 is old now. You can get the current 2.1.2 release here: http://www.audacityteam.org/download/windows.


Gale