None of the real audio outputs support FI32; they already typically
converted down to S16 internally. Moreover, mixing FI32 requires
64-bits (signed) multiplication, which non-FPU processors typically
do not support natively.