Life does not have to be perfect.
esv::fmax is the maximum bit floating point type of esvcpp c++ library.
esv::fxmax
esv::print