ffmpeg: use float64le/be instead of double32le/be for 64-bit floating point audio