[boost] [Review] Formal Review: Boost.Ratio