Switch to 32-bit float audio internally.

Convert to 16-bit signed int before feeding into FDK AAC. But this will
eventually make mixing of multiple sources easier.