namespace cln {
-void print_float (cl_ostream stream, const cl_print_number_flags& flags, const cl_F& z)
+void print_float (std::ostream& stream, const cl_print_number_flags& flags, const cl_F& z)
{
print_float(stream,(const cl_print_real_flags&)flags,z);
}