@mretka

Also, starting in 2025, pi will be exactly equal to 3 :blobupsidedown: