[boost] gmp-5.1.2 / boost-1.54 / multiprecision lib