--- /dev/null
+////////////////////////////////////////////////////////////////////////////////\r
+\r
+// Author: Andy Rushton\r
+// Copyright: (c) Southampton University 1999-2004\r
+// (c) Andy Rushton 2004-2009\r
+// License: BSD License, see ../docs/license.html\r
+\r
+////////////////////////////////////////////////////////////////////////////////\r
+#include "print_float.hpp"\r
+#include "string_float.hpp"\r
+\r
+namespace stlplus\r
+{\r
+\r
+ ////////////////////////////////////////////////////////////////////////////////\r
+ // floating-point types\r
+\r
+ void print_float(std::ostream& device, float f, real_display_t display, unsigned width, unsigned precision)\r
+ throw(std::invalid_argument)\r
+ {\r
+ device << float_to_string(f, display, width, precision);\r
+ }\r
+\r
+ void print_double(std::ostream& device, double f, real_display_t display, unsigned width, unsigned precision)\r
+ throw(std::invalid_argument)\r
+ {\r
+ device << double_to_string(f, display, width, precision);\r
+ }\r
+\r
+ ////////////////////////////////////////////////////////////////////////////////\r
+\r
+} // end namespace stlplus\r