base: print() functions for floating point types

Fixes #2055
2025-06-22 00:41:55 +00:00 · 2016-08-09 16:54:13 +02:00
parent f81d4cfbbb
commit acd2a40076
3 changed files with 52 additions and 0 deletions
--- a/repos/base/include/base/output.h
+++ b/repos/base/include/base/output.h
@ -120,6 +120,16 @@ namespace Genode {
 		print(output, (int)value);
 	}

+	/**
+	 * Print single-precision float
+	 */
+	void print(Output &output, float);
+
+	/**
+	 * Print double-precision float
+	 */
+	void print(Output &output, double);
+
 	/**
 	 * Helper for the hexadecimal output of integer values
 	 *