I seem to have worked around it by tweaking the "options" line from the sample code to this:

>>> options = whisper.DecodingOptions(fp16=False)