3 ms·How Many Decimals of Pi Do We Need?2 points by alexmolas 3y agoankitg12 3y agoQuite nice and well justified tradeoff.