All it takes is faith.
esv::f32 is the 32 bit floating point type of esvcpp c++ library. The type is automatically deduced, which is most likely float.
esv::fx32
esv::print