[boost] Decimal Library review is now ended

Just to confirm that the review of the decimal library has now come to an end. I'd like to thank everyone for some excellent discussion and great reviews, it might take me a while to collate all the information, but I'll be back with a result as soon as possible. Best, John.