Switch from 32-bit float to 64-bit.
Switch from 32-bit float to 64-bit.

I'm having an issue with the audio being way too quiet. I could try to fix
that, but it's easier to throw more bits at the problem to avoid losing
precision, then normalize the audio afterwards.

dseomn/art,dseomn/art,dseomn/art