! @brief dump a floating-point number Dump a given floating-point number to output stream @a o. Works internally with @a number_buffer. @param[in] x floating-point number to dump */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected