Add IEEE aliases

Author: AntonOresten

src/Microfloat.jl

@@ -1,7 +1,24 @@
 abstract type Variant end
+
+primitive type Microfloat{S,E,M,V<:Variant} <: AbstractFloat 8 end
+
 abstract type IEEE <: Variant end
 
-primitive type Microfloat{S,E,M,V} <: AbstractFloat 8 end
+const IEEEMicrofloat{S,E,M} = Microfloat{S,E,M,IEEE}
+
+"""
+    Float8_E3M4
+
+8-bit Microfloat with 1 sign bit, 3 exponent bits, and 4 mantissa bits.
+Follows the pattern of the IEEE 754 standard.
+"""
+const Float8_E3M4 = IEEEMicrofloat{1,3,4}
+
+const Float8_E4M3 = IEEEMicrofloat{1,4,3}
+const Float8_E5M2 = IEEEMicrofloat{1,5,2}
+const Float6_E2M3 = IEEEMicrofloat{1,2,3}
+const Float6_E3M2 = IEEEMicrofloat{1,3,2}
+const Float4_E2M1 = IEEEMicrofloat{1,2,1}
 
 """
     Microfloat(S, E, M, V=IEEE)

src/Microfloats.jl

@@ -5,6 +5,7 @@ include("float-bits.jl")
 include("Microfloat.jl")
 export Microfloat
 export IEEE
+export Float8_E3M4, Float8_E4M3, Float8_E5M2, Float6_E2M3, Float6_E3M2, Float4_E2M1
 
 include("microscaled/microscaled.jl")
 export MX, NV

src/conversion/to_microfloat.jl

@@ -45,7 +45,7 @@ end
 
 (::Type{T})(x::Float32) where {S,E,M,T<:Microfloat{S,E,M}} = T{IEEE}(x)
 
-@generated function (::Type{T})(x::Float32) where {S,E,M,V,T<:Microfloat{S,E,M,V}}
+@generated function (::Type{T})(x::Float32) where {S,E,M,V<:Variant,T<:Microfloat{S,E,M,V}}
     basetable, shifttable = create_base_shifttable(T)
 
     quote

test/Float8s/runtests.jl

@@ -2,9 +2,6 @@
 
 using Float8s: Float8, Float8_4
 
-const FP8_E3M4 = Microfloat(1, 3, 4)
-const FP8_E4M3 = Microfloat(1, 4, 3)
-
 @testset "Float8s.jl parity" begin
 
     @testset "E3M4" begin