Criador do QEMU e FFmpeg bate o recorde de cálculo de dígitos do número π