[Boost-announce] Formal Review: fixed-point decimal library