If I’m not mistaken, he also calculated pi by hand (to several decimal places) during lockdown. So it wasn’t all sunshine and rainbows for ol’ Isaac.