OK, as far as I can tell, the "Saturate Audio Output" has no effect in Polyphonic mode. The signals coming from each voice are just summed, in both cases.
I'd love to be wrong, that would mean I would come closer to understand this option, so thanks for any pointer in the right direction!