[boost] [metamath] Using mpl::numeric_cast