utx::f32 is the 32 bit floating point type of utxcpp c++ library. The type is automatically deduced, which is most likely float.
utx::fx32
utx::print
esv::print