the important stuff

'

@@ -0,0 +1,5 @@
+export type Whole = `${number}.${number}`;
+
+export function whole_to_raw(whole: Whole) {
+  //
+}