On PI, See also Eruvin 14a and a gematriya from Melachim hinting 3.1415926 – so Hashem thought it important to code it in ..
I heard that Rashbatz explains R Yohanan in sukka 7 is using better values for pi and … sqrt(2) in his calculations, but does not explain it, preferring teaching in a simple way. Seems like “math is hard” was not invented by current generation of students …