Computing √2 with FRACTRAN. - Khushi Kaushik; Tommy Murphy; David Weed (CoRR, 2024)