[boost] Re: rational with finite precision