Re: [boost] [metamath] Using mpl::numeric_cast