Is there someone who knows how Archimedes did when he got the approximation 355/113? I mean, calculating pi with float values can be done, but he didn't have a calculator, did he calculate pi as a decimal number first, with a fixed number of decimals, and then made it a fraction, or did he keep it a fraction all the time? What formula did he use?