Template:cpp/numeric/dsc bit cast