namespace boost{ namespace multiprecision{
class gmp_int;
typedef number<gmp_int > mpz_int;
}}
Шаблон класса gmp_int соответствует всем требованиям для типа Backend. Его члены и функции, не являющиеся членами, умышленно не документируются: они считаются деталями осуществления, которые подлежат изменению.
Тип Номер_категории<cpp_int<Args...> >::type является mpl::int_<.
Более подробную информацию об этом типе можно найти в tutorial.
