[Pitch] round π to nearest

Motivation About 130 years ago, the Indiana state legislature briefly entertained a bill (bill 246 of the 1897 sitting of the Indiana General Assembly) that would have incidentally legislated the value of π. I figure it's time to try again. When we designed the FloatingPoint protocols for Swift, IEEE 754 provided no guidance as to how π should be rounded. There are two plausibly defensible choices: the closest representable value, or the closest representable value that is strictly less than π ...