So in principle you just define a full or partial specialization, for example: template <class Backend> struct is_compatible_arithmetic_type<double, number<Backend> > : public mpl::false_ {}; and then cross your fingers and hope for the best ;)
Thanks for the suggestion, i'll give it a try. \e crosses fingers