Do not jump to conclusions.
esv::make_float_t is used to get a floating type from a known real number type.
That is, it gets esv::fx32 from esv::ux32, esv::ix32; gets esv::f32 from esv::u32, esv::i32, ..., etc.
esv::make_float_t never gets esv::overflow_type, if the source type is real number type.
However, it gets esv::overflow_type, if the source type is not esv::real_number or esv::real_ect type.
esv::make_float_t related - esv::make_float_basic_t, esv::make_float_ect_t
using target_type = esv::make_float_t<source_real_type>;