feat: boot.h: update concept of binary64 and add binary32 type.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 10 insertions, 3 deletions

diff --git a/include/boot.h b/include/boot.h
index 642e21a..a10a7df 100644
--- a/include/boot.h
+++ b/include/boot.h
@@ -134,17 +134,24 @@ static inline void __sync_synchronize(void) {
   volatile nb_proc_t proc_##offset = (volatile nb_proc_t)(struct->offset); \
   proc_##offset();
 
-/// @brief Float point number representation (IEEE 754)
+/// @brief Float point number representation (standard agnostic)
 typedef union {
   struct {
     char    __sign;
     int16_t __mantissa;
     int32_t __exponent;
   };
-
-  float __fv;
 } __attribute__((packed)) binary64_t;
 
+/// @brief Float point number representation (standard agnostic)
+typedef union {
+  struct {
+    char    __sign;
+    int8_t __mantissa;
+    int16_t __exponent;
+  };
+} __attribute__((packed)) binary32_t;
+
 /// \brief UTF-32 character
 typedef uint32_t utf_char_t;