For projects where users can include files of their choice, floating point wav should definitely be supported. This is basically the default for apps such as Audacity, other apps (Nero) don't even offer integer wav file format as output. And instructing customers to convert is not an option imho.
Cheers,
Andy