Properly display f32 values on the stack

(This assumes they are sent in decimal format see TOPLLab/WARDuino#319)

Author: MaartenS11

src/main/kotlin/be/ugent/topl/mio/ui/InteractiveDebugger.kt

@@ -772,7 +772,13 @@ class WatchWindow : JTable() {
         }
         val stack = snapshot.stack!!
         for (stackElement in stack) {
-            tableModel.addRow(arrayOf("stack[${stackElement.idx}]", stackElement.type, stackElement.value))
+            tableModel.addRow(arrayOf("stack[${stackElement.idx}]", stackElement.type,
+                when(stackElement.type) {
+                    "F32" -> Float.fromBits(stackElement.value.toInt())
+                    "F64" -> Double.fromBits(stackElement.value)
+                    else -> stackElement.value
+                })
+            )
         }
     }