--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/rc/to_f64.rs	Tue Apr 11 09:30:56 2023 +0200
@@ -0,0 +1,4 @@
+pub fn to_f64<T: Into<f64>>(v: T) -> f64 {
+    v.into()
+}
+