Correction: it seems I was a factor of 2 wrong, because Eben says in https://www.raspberrypi.com/news/image-processing-on-raspberry-pi-5-our-new-hardware-image-

Correction: it seems I was a factor of 2 wrong, because Eben says in https://www.raspberrypi.com/news/image-processing-on-raspberry-pi-5-our-new-hardware-image-signal-processor/ https://www.raspberrypi.com/news/image-processing-on-raspber... (time code 28:58) that the VideoCore 7 has about 40-50 Gflop/s