[boost] [multiprecision] New binary floating point type