type representation

1 files changed, 11 insertions, 3 deletions

diff --git a/docs/type_system/float.md b/docs/type_system/float.md
index d0752d0..9657d8d 100644
--- a/docs/type_system/float.md
+++ b/docs/type_system/float.md
@@ -5,8 +5,16 @@
 ```text
 Float_bit_size : `alias Enum[.bit32; .bit64]
 
-Float[Float_bit_size]
+Float_representation : `alias Enum[.ieee; .fixed]
 
-F32 : `alias Float[.bit32]
-F64 : `alias Float[.bit64]
+Float[Float_bit_size; Float_representation]
+```
+
+## Alias
+
+```text
+F32 : `alias Float[.bit32; .ieee]
+F64 : `alias Float[.bit64; .ieee]
+Fixed32 : `alias Float[.bit32; .fixed]
+Fixed64 : `alias Float[.bit64; .fixed]
 ```