Do whatever you want. If you export at 32 bit you can clip at 100 dB and it won't matter.