Enable writing WAV files with 64-bit floats

Add 64-bit floating-point to the list of encodings supported by WAV.