Thank you for this suggestion. I am now trying it in 8-bit quantization, and it seems to work very well, at least as well as Whisper Large. It is a little bit faster on my Mac, too.

The real verdict will be after several days of use with dual language dictation, but so far it looks really good!