He is also a mathematician, having invented a new algorithm for calculating the digits of pi
https://bellard.org/pi/pi_bin.pdf
Though I have to say the last line of the proof "...which gives (1) by reordering the terms" took me much head scratching to understand!