* The better fix would obviously be to fix the function once a reproducer for sufficient overflow is found.