pub trait Pi { const PI: Self; }
Provides $\pi$.
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".
$\pi$.