Haha, this is my thread. There’s a typo in the second tweet. Unfortunately there’s no way to edit threads on twitter.<p>> (10^100) + 1 − (10^100) is 0, not 1.<p>I should have said: (10^100) + 1 − (10^100) is 1, not 0.<p>One other error is here:<p>> I asked for 2π to within 0.01 decimals, so you need an approximation of π that's within 0.005 decimals.<p>“0.01 decimals“ and “0.005 decimals“ should have simply been “0.01” and “0.005” respectively.<p>I hope everyone enjoys! The original “API for the real numbers” paper is here: <a href="https://dl.acm.org/doi/pdf/10.1145/3385412.3386037" rel="nofollow">https://dl.acm.org/doi/pdf/10.1145/3385412.3386037</a><p>Someone is also implementing it in rust: <a href="https://crates.io/crates/realistic" rel="nofollow">https://crates.io/crates/realistic</a>