[boost] [Multiprecision] High-performance radix-2 floating-point back-end