[Haskell-cafe] exact-pi (Was: ANN: dimensional-1.0 for statically checked physical dimensions)