Module Numeric

Numeric types and operations.

type fix_float_0 =
| Float_0 of Imandra_prelude.int
type fix_float_1 =
| Float_1 of Imandra_prelude.int
type fix_float_2 =
| Float_2 of Imandra_prelude.int
type fix_float_3 =
| Float_3 of Imandra_prelude.int
type fix_float_4 =
| Float_4 of Imandra_prelude.int
type fix_float_5 =
| Float_5 of Imandra_prelude.int
type fix_float_6 =
| Float_6 of Imandra_prelude.int
type fix_float = fix_float_6
val float_Create_0 : Imandra_prelude.int -> fix_float_0
val float_Create_1 : Imandra_prelude.int -> fix_float_1
val float_Create_2 : Imandra_prelude.int -> fix_float_2
val float_Create_3 : Imandra_prelude.int -> fix_float_3
val float_Create_4 : Imandra_prelude.int -> fix_float_4
val float_Create_5 : Imandra_prelude.int -> fix_float_5
val float_Create_6 : Imandra_prelude.int -> fix_float_6
val float_Create : Imandra_prelude.int -> fix_float
val float_Convert_0_0 : fix_float_0 -> fix_float_0
val float_Convert_0_1 : fix_float_0 -> fix_float_1
val float_Convert_0_2 : fix_float_0 -> fix_float_2
val float_Convert_0_3 : fix_float_0 -> fix_float_3
val float_Convert_0_4 : fix_float_0 -> fix_float_4
val float_Convert_0_5 : fix_float_0 -> fix_float_5
val float_Convert_0_6 : fix_float_0 -> fix_float_6
val float_Convert_1_0 : fix_float_1 -> fix_float_0
val float_Convert_1_1 : fix_float_1 -> fix_float_1
val float_Convert_1_2 : fix_float_1 -> fix_float_2
val float_Convert_1_3 : fix_float_1 -> fix_float_3
val float_Convert_1_4 : fix_float_1 -> fix_float_4
val float_Convert_1_5 : fix_float_1 -> fix_float_5
val float_Convert_1_6 : fix_float_1 -> fix_float_6
val float_Convert_2_0 : fix_float_2 -> fix_float_0
val float_Convert_2_1 : fix_float_2 -> fix_float_1
val float_Convert_2_2 : fix_float_2 -> fix_float_2
val float_Convert_2_3 : fix_float_2 -> fix_float_3
val float_Convert_2_4 : fix_float_2 -> fix_float_4
val float_Convert_2_5 : fix_float_2 -> fix_float_5
val float_Convert_2_6 : fix_float_2 -> fix_float_6
val float_Convert_3_0 : fix_float_3 -> fix_float_0
val float_Convert_3_1 : fix_float_3 -> fix_float_1
val float_Convert_3_2 : fix_float_3 -> fix_float_2
val float_Convert_3_3 : fix_float_3 -> fix_float_3
val float_Convert_3_4 : fix_float_3 -> fix_float_4
val float_Convert_3_5 : fix_float_3 -> fix_float_5
val float_Convert_3_6 : fix_float_3 -> fix_float_6
val float_Convert_4_0 : fix_float_4 -> fix_float_0
val float_Convert_4_1 : fix_float_4 -> fix_float_1
val float_Convert_4_2 : fix_float_4 -> fix_float_2
val float_Convert_4_3 : fix_float_4 -> fix_float_3
val float_Convert_4_4 : fix_float_4 -> fix_float_4
val float_Convert_4_5 : fix_float_4 -> fix_float_5
val float_Convert_4_6 : fix_float_4 -> fix_float_6
val float_Convert_5_0 : fix_float_5 -> fix_float_0
val float_Convert_5_1 : fix_float_5 -> fix_float_1
val float_Convert_5_2 : fix_float_5 -> fix_float_2
val float_Convert_5_3 : fix_float_5 -> fix_float_3
val float_Convert_5_4 : fix_float_5 -> fix_float_4
val float_Convert_5_5 : fix_float_5 -> fix_float_5
val float_Convert_5_6 : fix_float_5 -> fix_float_6
val float_Convert_6_0 : fix_float_6 -> fix_float_0
val float_Convert_6_1 : fix_float_6 -> fix_float_1
val float_Convert_6_2 : fix_float_6 -> fix_float_2
val float_Convert_6_3 : fix_float_6 -> fix_float_3
val float_Convert_6_4 : fix_float_6 -> fix_float_4
val float_Convert_6_5 : fix_float_6 -> fix_float_5
val float_Convert_6_6 : fix_float_6 -> fix_float_6
val float_Add_0_0 : fix_float_0 -> fix_float_0 -> fix_float_0
val float_Add_0_1 : fix_float_0 -> fix_float_1 -> fix_float_1
val float_Add_0_2 : fix_float_0 -> fix_float_2 -> fix_float_2
val float_Add_0_3 : fix_float_0 -> fix_float_3 -> fix_float_3
val float_Add_0_4 : fix_float_0 -> fix_float_4 -> fix_float_4
val float_Add_0_5 : fix_float_0 -> fix_float_5 -> fix_float_5
val float_Add_0_6 : fix_float_0 -> fix_float_6 -> fix_float_6
val float_Add_1_0 : fix_float_1 -> fix_float_0 -> fix_float_1
val float_Add_1_1 : fix_float_1 -> fix_float_1 -> fix_float_1
val float_Add_1_2 : fix_float_1 -> fix_float_2 -> fix_float_2
val float_Add_1_3 : fix_float_1 -> fix_float_3 -> fix_float_3
val float_Add_1_4 : fix_float_1 -> fix_float_4 -> fix_float_4
val float_Add_1_5 : fix_float_1 -> fix_float_5 -> fix_float_5
val float_Add_1_6 : fix_float_1 -> fix_float_6 -> fix_float_6
val float_Add_2_0 : fix_float_2 -> fix_float_0 -> fix_float_2
val float_Add_2_1 : fix_float_2 -> fix_float_1 -> fix_float_2
val float_Add_2_2 : fix_float_2 -> fix_float_2 -> fix_float_2
val float_Add_2_3 : fix_float_2 -> fix_float_3 -> fix_float_3
val float_Add_2_4 : fix_float_2 -> fix_float_4 -> fix_float_4
val float_Add_2_5 : fix_float_2 -> fix_float_5 -> fix_float_5
val float_Add_2_6 : fix_float_2 -> fix_float_6 -> fix_float_6
val float_Add_3_0 : fix_float_3 -> fix_float_0 -> fix_float_3
val float_Add_3_1 : fix_float_3 -> fix_float_1 -> fix_float_3
val float_Add_3_2 : fix_float_3 -> fix_float_2 -> fix_float_3
val float_Add_3_3 : fix_float_3 -> fix_float_3 -> fix_float_3
val float_Add_3_4 : fix_float_3 -> fix_float_4 -> fix_float_4
val float_Add_3_5 : fix_float_3 -> fix_float_5 -> fix_float_5
val float_Add_3_6 : fix_float_3 -> fix_float_6 -> fix_float_6
val float_Add_4_0 : fix_float_4 -> fix_float_0 -> fix_float_4
val float_Add_4_1 : fix_float_4 -> fix_float_1 -> fix_float_4
val float_Add_4_2 : fix_float_4 -> fix_float_2 -> fix_float_4
val float_Add_4_3 : fix_float_4 -> fix_float_3 -> fix_float_4
val float_Add_4_4 : fix_float_4 -> fix_float_4 -> fix_float_4
val float_Add_4_5 : fix_float_4 -> fix_float_5 -> fix_float_5
val float_Add_4_6 : fix_float_4 -> fix_float_6 -> fix_float_6
val float_Add_5_0 : fix_float_5 -> fix_float_0 -> fix_float_5
val float_Add_5_1 : fix_float_5 -> fix_float_1 -> fix_float_5
val float_Add_5_2 : fix_float_5 -> fix_float_2 -> fix_float_5
val float_Add_5_3 : fix_float_5 -> fix_float_3 -> fix_float_5
val float_Add_5_4 : fix_float_5 -> fix_float_4 -> fix_float_5
val float_Add_5_5 : fix_float_5 -> fix_float_5 -> fix_float_5
val float_Add_5_6 : fix_float_5 -> fix_float_6 -> fix_float_6
val float_Add_6_0 : fix_float_6 -> fix_float_0 -> fix_float_6
val float_Add_6_1 : fix_float_6 -> fix_float_1 -> fix_float_6
val float_Add_6_2 : fix_float_6 -> fix_float_2 -> fix_float_6
val float_Add_6_3 : fix_float_6 -> fix_float_3 -> fix_float_6
val float_Add_6_4 : fix_float_6 -> fix_float_4 -> fix_float_6
val float_Add_6_5 : fix_float_6 -> fix_float_5 -> fix_float_6
val float_Add_6_6 : fix_float_6 -> fix_float_6 -> fix_float_6
val float_Mult_0_0 : fix_float_0 -> fix_float_0 -> fix_float_0
val float_Mult_0_1 : fix_float_0 -> fix_float_1 -> fix_float_1
val float_Mult_0_2 : fix_float_0 -> fix_float_2 -> fix_float_2
val float_Mult_0_3 : fix_float_0 -> fix_float_3 -> fix_float_3
val float_Mult_0_4 : fix_float_0 -> fix_float_4 -> fix_float_4
val float_Mult_0_5 : fix_float_0 -> fix_float_5 -> fix_float_5
val float_Mult_0_6 : fix_float_0 -> fix_float_6 -> fix_float_6
val float_Mult_1_0 : fix_float_1 -> fix_float_0 -> fix_float_1
val float_Mult_1_1 : fix_float_1 -> fix_float_1 -> fix_float_1
val float_Mult_1_2 : fix_float_1 -> fix_float_2 -> fix_float_2
val float_Mult_1_3 : fix_float_1 -> fix_float_3 -> fix_float_3
val float_Mult_1_4 : fix_float_1 -> fix_float_4 -> fix_float_4
val float_Mult_1_5 : fix_float_1 -> fix_float_5 -> fix_float_5
val float_Mult_1_6 : fix_float_1 -> fix_float_6 -> fix_float_6
val float_Mult_2_0 : fix_float_2 -> fix_float_0 -> fix_float_2
val float_Mult_2_1 : fix_float_2 -> fix_float_1 -> fix_float_2
val float_Mult_2_2 : fix_float_2 -> fix_float_2 -> fix_float_2
val float_Mult_2_3 : fix_float_2 -> fix_float_3 -> fix_float_3
val float_Mult_2_4 : fix_float_2 -> fix_float_4 -> fix_float_4
val float_Mult_2_5 : fix_float_2 -> fix_float_5 -> fix_float_5
val float_Mult_2_6 : fix_float_2 -> fix_float_6 -> fix_float_6
val float_Mult_3_0 : fix_float_3 -> fix_float_0 -> fix_float_3
val float_Mult_3_1 : fix_float_3 -> fix_float_1 -> fix_float_3
val float_Mult_3_2 : fix_float_3 -> fix_float_2 -> fix_float_3
val float_Mult_3_3 : fix_float_3 -> fix_float_3 -> fix_float_3
val float_Mult_3_4 : fix_float_3 -> fix_float_4 -> fix_float_4
val float_Mult_3_5 : fix_float_3 -> fix_float_5 -> fix_float_5
val float_Mult_3_6 : fix_float_3 -> fix_float_6 -> fix_float_6
val float_Mult_4_0 : fix_float_4 -> fix_float_0 -> fix_float_4
val float_Mult_4_1 : fix_float_4 -> fix_float_1 -> fix_float_4
val float_Mult_4_2 : fix_float_4 -> fix_float_2 -> fix_float_4
val float_Mult_4_3 : fix_float_4 -> fix_float_3 -> fix_float_4
val float_Mult_4_4 : fix_float_4 -> fix_float_4 -> fix_float_4
val float_Mult_4_5 : fix_float_4 -> fix_float_5 -> fix_float_5
val float_Mult_4_6 : fix_float_4 -> fix_float_6 -> fix_float_6
val float_Mult_5_0 : fix_float_5 -> fix_float_0 -> fix_float_5
val float_Mult_5_1 : fix_float_5 -> fix_float_1 -> fix_float_5
val float_Mult_5_2 : fix_float_5 -> fix_float_2 -> fix_float_5
val float_Mult_5_3 : fix_float_5 -> fix_float_3 -> fix_float_5
val float_Mult_5_4 : fix_float_5 -> fix_float_4 -> fix_float_5
val float_Mult_5_5 : fix_float_5 -> fix_float_5 -> fix_float_5
val float_Mult_5_6 : fix_float_5 -> fix_float_6 -> fix_float_6
val float_Mult_6_0 : fix_float_6 -> fix_float_0 -> fix_float_6
val float_Mult_6_1 : fix_float_6 -> fix_float_1 -> fix_float_6
val float_Mult_6_2 : fix_float_6 -> fix_float_2 -> fix_float_6
val float_Mult_6_3 : fix_float_6 -> fix_float_3 -> fix_float_6
val float_Mult_6_4 : fix_float_6 -> fix_float_4 -> fix_float_6
val float_Mult_6_5 : fix_float_6 -> fix_float_5 -> fix_float_6
val float_Mult_6_6 : fix_float_6 -> fix_float_6 -> fix_float_6
val float_Sub_0_0 : fix_float_0 -> fix_float_0 -> fix_float_0
val float_Sub_0_1 : fix_float_0 -> fix_float_1 -> fix_float_1
val float_Sub_0_2 : fix_float_0 -> fix_float_2 -> fix_float_2
val float_Sub_0_3 : fix_float_0 -> fix_float_3 -> fix_float_3
val float_Sub_0_4 : fix_float_0 -> fix_float_4 -> fix_float_4
val float_Sub_0_5 : fix_float_0 -> fix_float_5 -> fix_float_5
val float_Sub_0_6 : fix_float_0 -> fix_float_6 -> fix_float_6
val float_Sub_1_0 : fix_float_1 -> fix_float_0 -> fix_float_1
val float_Sub_1_1 : fix_float_1 -> fix_float_1 -> fix_float_1
val float_Sub_1_2 : fix_float_1 -> fix_float_2 -> fix_float_2
val float_Sub_1_3 : fix_float_1 -> fix_float_3 -> fix_float_3
val float_Sub_1_4 : fix_float_1 -> fix_float_4 -> fix_float_4
val float_Sub_1_5 : fix_float_1 -> fix_float_5 -> fix_float_5
val float_Sub_1_6 : fix_float_1 -> fix_float_6 -> fix_float_6
val float_Sub_2_0 : fix_float_2 -> fix_float_0 -> fix_float_2
val float_Sub_2_1 : fix_float_2 -> fix_float_1 -> fix_float_2
val float_Sub_2_2 : fix_float_2 -> fix_float_2 -> fix_float_2
val float_Sub_2_3 : fix_float_2 -> fix_float_3 -> fix_float_3
val float_Sub_2_4 : fix_float_2 -> fix_float_4 -> fix_float_4
val float_Sub_2_5 : fix_float_2 -> fix_float_5 -> fix_float_5
val float_Sub_2_6 : fix_float_2 -> fix_float_6 -> fix_float_6
val float_Sub_3_0 : fix_float_3 -> fix_float_0 -> fix_float_3
val float_Sub_3_1 : fix_float_3 -> fix_float_1 -> fix_float_3
val float_Sub_3_2 : fix_float_3 -> fix_float_2 -> fix_float_3
val float_Sub_3_3 : fix_float_3 -> fix_float_3 -> fix_float_3
val float_Sub_3_4 : fix_float_3 -> fix_float_4 -> fix_float_4
val float_Sub_3_5 : fix_float_3 -> fix_float_5 -> fix_float_5
val float_Sub_3_6 : fix_float_3 -> fix_float_6 -> fix_float_6
val float_Sub_4_0 : fix_float_4 -> fix_float_0 -> fix_float_4
val float_Sub_4_1 : fix_float_4 -> fix_float_1 -> fix_float_4
val float_Sub_4_2 : fix_float_4 -> fix_float_2 -> fix_float_4
val float_Sub_4_3 : fix_float_4 -> fix_float_3 -> fix_float_4
val float_Sub_4_4 : fix_float_4 -> fix_float_4 -> fix_float_4
val float_Sub_4_5 : fix_float_4 -> fix_float_5 -> fix_float_5
val float_Sub_4_6 : fix_float_4 -> fix_float_6 -> fix_float_6
val float_Sub_5_0 : fix_float_5 -> fix_float_0 -> fix_float_5
val float_Sub_5_1 : fix_float_5 -> fix_float_1 -> fix_float_5
val float_Sub_5_2 : fix_float_5 -> fix_float_2 -> fix_float_5
val float_Sub_5_3 : fix_float_5 -> fix_float_3 -> fix_float_5
val float_Sub_5_4 : fix_float_5 -> fix_float_4 -> fix_float_5
val float_Sub_5_5 : fix_float_5 -> fix_float_5 -> fix_float_5
val float_Sub_5_6 : fix_float_5 -> fix_float_6 -> fix_float_6
val float_Sub_6_0 : fix_float_6 -> fix_float_0 -> fix_float_6
val float_Sub_6_1 : fix_float_6 -> fix_float_1 -> fix_float_6
val float_Sub_6_2 : fix_float_6 -> fix_float_2 -> fix_float_6
val float_Sub_6_3 : fix_float_6 -> fix_float_3 -> fix_float_6
val float_Sub_6_4 : fix_float_6 -> fix_float_4 -> fix_float_6
val float_Sub_6_5 : fix_float_6 -> fix_float_5 -> fix_float_6
val float_Sub_6_6 : fix_float_6 -> fix_float_6 -> fix_float_6
val float_Div_0_0 : fix_float_0 -> fix_float_0 -> fix_float_0
val float_Div_0_1 : fix_float_0 -> fix_float_1 -> fix_float_1
val float_Div_0_2 : fix_float_0 -> fix_float_2 -> fix_float_2
val float_Div_0_3 : fix_float_0 -> fix_float_3 -> fix_float_3
val float_Div_0_4 : fix_float_0 -> fix_float_4 -> fix_float_4
val float_Div_0_5 : fix_float_0 -> fix_float_5 -> fix_float_5
val float_Div_0_6 : fix_float_0 -> fix_float_6 -> fix_float_6
val float_Div_1_0 : fix_float_1 -> fix_float_0 -> fix_float_1
val float_Div_1_1 : fix_float_1 -> fix_float_1 -> fix_float_1
val float_Div_1_2 : fix_float_1 -> fix_float_2 -> fix_float_2
val float_Div_1_3 : fix_float_1 -> fix_float_3 -> fix_float_3
val float_Div_1_4 : fix_float_1 -> fix_float_4 -> fix_float_4
val float_Div_1_5 : fix_float_1 -> fix_float_5 -> fix_float_5
val float_Div_1_6 : fix_float_1 -> fix_float_6 -> fix_float_6
val float_Div_2_0 : fix_float_2 -> fix_float_0 -> fix_float_2
val float_Div_2_1 : fix_float_2 -> fix_float_1 -> fix_float_2
val float_Div_2_2 : fix_float_2 -> fix_float_2 -> fix_float_2
val float_Div_2_3 : fix_float_2 -> fix_float_3 -> fix_float_3
val float_Div_2_4 : fix_float_2 -> fix_float_4 -> fix_float_4
val float_Div_2_5 : fix_float_2 -> fix_float_5 -> fix_float_5
val float_Div_2_6 : fix_float_2 -> fix_float_6 -> fix_float_6
val float_Div_3_0 : fix_float_3 -> fix_float_0 -> fix_float_3
val float_Div_3_1 : fix_float_3 -> fix_float_1 -> fix_float_3
val float_Div_3_2 : fix_float_3 -> fix_float_2 -> fix_float_3
val float_Div_3_3 : fix_float_3 -> fix_float_3 -> fix_float_3
val float_Div_3_4 : fix_float_3 -> fix_float_4 -> fix_float_4
val float_Div_3_5 : fix_float_3 -> fix_float_5 -> fix_float_5
val float_Div_3_6 : fix_float_3 -> fix_float_6 -> fix_float_6
val float_Div_4_0 : fix_float_4 -> fix_float_0 -> fix_float_4
val float_Div_4_1 : fix_float_4 -> fix_float_1 -> fix_float_4
val float_Div_4_2 : fix_float_4 -> fix_float_2 -> fix_float_4
val float_Div_4_3 : fix_float_4 -> fix_float_3 -> fix_float_4
val float_Div_4_4 : fix_float_4 -> fix_float_4 -> fix_float_4
val float_Div_4_5 : fix_float_4 -> fix_float_5 -> fix_float_5
val float_Div_4_6 : fix_float_4 -> fix_float_6 -> fix_float_6
val float_Div_5_0 : fix_float_5 -> fix_float_0 -> fix_float_5
val float_Div_5_1 : fix_float_5 -> fix_float_1 -> fix_float_5
val float_Div_5_2 : fix_float_5 -> fix_float_2 -> fix_float_5
val float_Div_5_3 : fix_float_5 -> fix_float_3 -> fix_float_5
val float_Div_5_4 : fix_float_5 -> fix_float_4 -> fix_float_5
val float_Div_5_5 : fix_float_5 -> fix_float_5 -> fix_float_5
val float_Div_5_6 : fix_float_5 -> fix_float_6 -> fix_float_6
val float_Div_6_0 : fix_float_6 -> fix_float_0 -> fix_float_6
val float_Div_6_1 : fix_float_6 -> fix_float_1 -> fix_float_6
val float_Div_6_2 : fix_float_6 -> fix_float_2 -> fix_float_6
val float_Div_6_3 : fix_float_6 -> fix_float_3 -> fix_float_6
val float_Div_6_4 : fix_float_6 -> fix_float_4 -> fix_float_6
val float_Div_6_5 : fix_float_6 -> fix_float_5 -> fix_float_6
val float_Div_6_6 : fix_float_6 -> fix_float_6 -> fix_float_6
val float_Neg_0 : fix_float_0 -> fix_float_0
val float_Neg_1 : fix_float_1 -> fix_float_1
val float_Neg_2 : fix_float_2 -> fix_float_2
val float_Neg_3 : fix_float_3 -> fix_float_3
val float_Neg_4 : fix_float_4 -> fix_float_4
val float_Neg_5 : fix_float_5 -> fix_float_5
val float_Neg_6 : fix_float_6 -> fix_float_6
val float_GreaterThan_0_0 : fix_float_0 -> fix_float_0 -> bool
val float_GreaterThan_0_1 : fix_float_0 -> fix_float_1 -> bool
val float_GreaterThan_0_2 : fix_float_0 -> fix_float_2 -> bool
val float_GreaterThan_0_3 : fix_float_0 -> fix_float_3 -> bool
val float_GreaterThan_0_4 : fix_float_0 -> fix_float_4 -> bool
val float_GreaterThan_0_5 : fix_float_0 -> fix_float_5 -> bool
val float_GreaterThan_0_6 : fix_float_0 -> fix_float_6 -> bool
val float_GreaterThan_1_0 : fix_float_1 -> fix_float_0 -> bool
val float_GreaterThan_1_1 : fix_float_1 -> fix_float_1 -> bool
val float_GreaterThan_1_2 : fix_float_1 -> fix_float_2 -> bool
val float_GreaterThan_1_3 : fix_float_1 -> fix_float_3 -> bool
val float_GreaterThan_1_4 : fix_float_1 -> fix_float_4 -> bool
val float_GreaterThan_1_5 : fix_float_1 -> fix_float_5 -> bool
val float_GreaterThan_1_6 : fix_float_1 -> fix_float_6 -> bool
val float_GreaterThan_2_0 : fix_float_2 -> fix_float_0 -> bool
val float_GreaterThan_2_1 : fix_float_2 -> fix_float_1 -> bool
val float_GreaterThan_2_2 : fix_float_2 -> fix_float_2 -> bool
val float_GreaterThan_2_3 : fix_float_2 -> fix_float_3 -> bool
val float_GreaterThan_2_4 : fix_float_2 -> fix_float_4 -> bool
val float_GreaterThan_2_5 : fix_float_2 -> fix_float_5 -> bool
val float_GreaterThan_2_6 : fix_float_2 -> fix_float_6 -> bool
val float_GreaterThan_3_0 : fix_float_3 -> fix_float_0 -> bool
val float_GreaterThan_3_1 : fix_float_3 -> fix_float_1 -> bool
val float_GreaterThan_3_2 : fix_float_3 -> fix_float_2 -> bool
val float_GreaterThan_3_3 : fix_float_3 -> fix_float_3 -> bool
val float_GreaterThan_3_4 : fix_float_3 -> fix_float_4 -> bool
val float_GreaterThan_3_5 : fix_float_3 -> fix_float_5 -> bool
val float_GreaterThan_3_6 : fix_float_3 -> fix_float_6 -> bool
val float_GreaterThan_4_0 : fix_float_4 -> fix_float_0 -> bool
val float_GreaterThan_4_1 : fix_float_4 -> fix_float_1 -> bool
val float_GreaterThan_4_2 : fix_float_4 -> fix_float_2 -> bool
val float_GreaterThan_4_3 : fix_float_4 -> fix_float_3 -> bool
val float_GreaterThan_4_4 : fix_float_4 -> fix_float_4 -> bool
val float_GreaterThan_4_5 : fix_float_4 -> fix_float_5 -> bool
val float_GreaterThan_4_6 : fix_float_4 -> fix_float_6 -> bool
val float_GreaterThan_5_0 : fix_float_5 -> fix_float_0 -> bool
val float_GreaterThan_5_1 : fix_float_5 -> fix_float_1 -> bool
val float_GreaterThan_5_2 : fix_float_5 -> fix_float_2 -> bool
val float_GreaterThan_5_3 : fix_float_5 -> fix_float_3 -> bool
val float_GreaterThan_5_4 : fix_float_5 -> fix_float_4 -> bool
val float_GreaterThan_5_5 : fix_float_5 -> fix_float_5 -> bool
val float_GreaterThan_5_6 : fix_float_5 -> fix_float_6 -> bool
val float_GreaterThan_6_0 : fix_float_6 -> fix_float_0 -> bool
val float_GreaterThan_6_1 : fix_float_6 -> fix_float_1 -> bool
val float_GreaterThan_6_2 : fix_float_6 -> fix_float_2 -> bool
val float_GreaterThan_6_3 : fix_float_6 -> fix_float_3 -> bool
val float_GreaterThan_6_4 : fix_float_6 -> fix_float_4 -> bool
val float_GreaterThan_6_5 : fix_float_6 -> fix_float_5 -> bool
val float_GreaterThan_6_6 : fix_float_6 -> fix_float_6 -> bool
val float_LessThan_0_0 : fix_float_0 -> fix_float_0 -> bool
val float_LessThan_0_1 : fix_float_0 -> fix_float_1 -> bool
val float_LessThan_0_2 : fix_float_0 -> fix_float_2 -> bool
val float_LessThan_0_3 : fix_float_0 -> fix_float_3 -> bool
val float_LessThan_0_4 : fix_float_0 -> fix_float_4 -> bool
val float_LessThan_0_5 : fix_float_0 -> fix_float_5 -> bool
val float_LessThan_0_6 : fix_float_0 -> fix_float_6 -> bool
val float_LessThan_1_0 : fix_float_1 -> fix_float_0 -> bool
val float_LessThan_1_1 : fix_float_1 -> fix_float_1 -> bool
val float_LessThan_1_2 : fix_float_1 -> fix_float_2 -> bool
val float_LessThan_1_3 : fix_float_1 -> fix_float_3 -> bool
val float_LessThan_1_4 : fix_float_1 -> fix_float_4 -> bool
val float_LessThan_1_5 : fix_float_1 -> fix_float_5 -> bool
val float_LessThan_1_6 : fix_float_1 -> fix_float_6 -> bool
val float_LessThan_2_0 : fix_float_2 -> fix_float_0 -> bool
val float_LessThan_2_1 : fix_float_2 -> fix_float_1 -> bool
val float_LessThan_2_2 : fix_float_2 -> fix_float_2 -> bool
val float_LessThan_2_3 : fix_float_2 -> fix_float_3 -> bool
val float_LessThan_2_4 : fix_float_2 -> fix_float_4 -> bool
val float_LessThan_2_5 : fix_float_2 -> fix_float_5 -> bool
val float_LessThan_2_6 : fix_float_2 -> fix_float_6 -> bool
val float_LessThan_3_0 : fix_float_3 -> fix_float_0 -> bool
val float_LessThan_3_1 : fix_float_3 -> fix_float_1 -> bool
val float_LessThan_3_2 : fix_float_3 -> fix_float_2 -> bool
val float_LessThan_3_3 : fix_float_3 -> fix_float_3 -> bool
val float_LessThan_3_4 : fix_float_3 -> fix_float_4 -> bool
val float_LessThan_3_5 : fix_float_3 -> fix_float_5 -> bool
val float_LessThan_3_6 : fix_float_3 -> fix_float_6 -> bool
val float_LessThan_4_0 : fix_float_4 -> fix_float_0 -> bool
val float_LessThan_4_1 : fix_float_4 -> fix_float_1 -> bool
val float_LessThan_4_2 : fix_float_4 -> fix_float_2 -> bool
val float_LessThan_4_3 : fix_float_4 -> fix_float_3 -> bool
val float_LessThan_4_4 : fix_float_4 -> fix_float_4 -> bool
val float_LessThan_4_5 : fix_float_4 -> fix_float_5 -> bool
val float_LessThan_4_6 : fix_float_4 -> fix_float_6 -> bool
val float_LessThan_5_0 : fix_float_5 -> fix_float_0 -> bool
val float_LessThan_5_1 : fix_float_5 -> fix_float_1 -> bool
val float_LessThan_5_2 : fix_float_5 -> fix_float_2 -> bool
val float_LessThan_5_3 : fix_float_5 -> fix_float_3 -> bool
val float_LessThan_5_4 : fix_float_5 -> fix_float_4 -> bool
val float_LessThan_5_5 : fix_float_5 -> fix_float_5 -> bool
val float_LessThan_5_6 : fix_float_5 -> fix_float_6 -> bool
val float_LessThan_6_0 : fix_float_6 -> fix_float_0 -> bool
val float_LessThan_6_1 : fix_float_6 -> fix_float_1 -> bool
val float_LessThan_6_2 : fix_float_6 -> fix_float_2 -> bool
val float_LessThan_6_3 : fix_float_6 -> fix_float_3 -> bool
val float_LessThan_6_4 : fix_float_6 -> fix_float_4 -> bool
val float_LessThan_6_5 : fix_float_6 -> fix_float_5 -> bool
val float_LessThan_6_6 : fix_float_6 -> fix_float_6 -> bool
val float_GreaterThanEqual_0_0 : fix_float_0 -> fix_float_0 -> bool
val float_GreaterThanEqual_0_1 : fix_float_0 -> fix_float_1 -> bool
val float_GreaterThanEqual_0_2 : fix_float_0 -> fix_float_2 -> bool
val float_GreaterThanEqual_0_3 : fix_float_0 -> fix_float_3 -> bool
val float_GreaterThanEqual_0_4 : fix_float_0 -> fix_float_4 -> bool
val float_GreaterThanEqual_0_5 : fix_float_0 -> fix_float_5 -> bool
val float_GreaterThanEqual_0_6 : fix_float_0 -> fix_float_6 -> bool
val float_GreaterThanEqual_1_0 : fix_float_1 -> fix_float_0 -> bool
val float_GreaterThanEqual_1_1 : fix_float_1 -> fix_float_1 -> bool
val float_GreaterThanEqual_1_2 : fix_float_1 -> fix_float_2 -> bool
val float_GreaterThanEqual_1_3 : fix_float_1 -> fix_float_3 -> bool
val float_GreaterThanEqual_1_4 : fix_float_1 -> fix_float_4 -> bool
val float_GreaterThanEqual_1_5 : fix_float_1 -> fix_float_5 -> bool
val float_GreaterThanEqual_1_6 : fix_float_1 -> fix_float_6 -> bool
val float_GreaterThanEqual_2_0 : fix_float_2 -> fix_float_0 -> bool
val float_GreaterThanEqual_2_1 : fix_float_2 -> fix_float_1 -> bool
val float_GreaterThanEqual_2_2 : fix_float_2 -> fix_float_2 -> bool
val float_GreaterThanEqual_2_3 : fix_float_2 -> fix_float_3 -> bool
val float_GreaterThanEqual_2_4 : fix_float_2 -> fix_float_4 -> bool
val float_GreaterThanEqual_2_5 : fix_float_2 -> fix_float_5 -> bool
val float_GreaterThanEqual_2_6 : fix_float_2 -> fix_float_6 -> bool
val float_GreaterThanEqual_3_0 : fix_float_3 -> fix_float_0 -> bool
val float_GreaterThanEqual_3_1 : fix_float_3 -> fix_float_1 -> bool
val float_GreaterThanEqual_3_2 : fix_float_3 -> fix_float_2 -> bool
val float_GreaterThanEqual_3_3 : fix_float_3 -> fix_float_3 -> bool
val float_GreaterThanEqual_3_4 : fix_float_3 -> fix_float_4 -> bool
val float_GreaterThanEqual_3_5 : fix_float_3 -> fix_float_5 -> bool
val float_GreaterThanEqual_3_6 : fix_float_3 -> fix_float_6 -> bool
val float_GreaterThanEqual_4_0 : fix_float_4 -> fix_float_0 -> bool
val float_GreaterThanEqual_4_1 : fix_float_4 -> fix_float_1 -> bool
val float_GreaterThanEqual_4_2 : fix_float_4 -> fix_float_2 -> bool
val float_GreaterThanEqual_4_3 : fix_float_4 -> fix_float_3 -> bool
val float_GreaterThanEqual_4_4 : fix_float_4 -> fix_float_4 -> bool
val float_GreaterThanEqual_4_5 : fix_float_4 -> fix_float_5 -> bool
val float_GreaterThanEqual_4_6 : fix_float_4 -> fix_float_6 -> bool
val float_GreaterThanEqual_5_0 : fix_float_5 -> fix_float_0 -> bool
val float_GreaterThanEqual_5_1 : fix_float_5 -> fix_float_1 -> bool
val float_GreaterThanEqual_5_2 : fix_float_5 -> fix_float_2 -> bool
val float_GreaterThanEqual_5_3 : fix_float_5 -> fix_float_3 -> bool
val float_GreaterThanEqual_5_4 : fix_float_5 -> fix_float_4 -> bool
val float_GreaterThanEqual_5_5 : fix_float_5 -> fix_float_5 -> bool
val float_GreaterThanEqual_5_6 : fix_float_5 -> fix_float_6 -> bool
val float_GreaterThanEqual_6_0 : fix_float_6 -> fix_float_0 -> bool
val float_GreaterThanEqual_6_1 : fix_float_6 -> fix_float_1 -> bool
val float_GreaterThanEqual_6_2 : fix_float_6 -> fix_float_2 -> bool
val float_GreaterThanEqual_6_3 : fix_float_6 -> fix_float_3 -> bool
val float_GreaterThanEqual_6_4 : fix_float_6 -> fix_float_4 -> bool
val float_GreaterThanEqual_6_5 : fix_float_6 -> fix_float_5 -> bool
val float_GreaterThanEqual_6_6 : fix_float_6 -> fix_float_6 -> bool
val float_LessThanEqual_0_0 : fix_float_0 -> fix_float_0 -> bool
val float_LessThanEqual_0_1 : fix_float_0 -> fix_float_1 -> bool
val float_LessThanEqual_0_2 : fix_float_0 -> fix_float_2 -> bool
val float_LessThanEqual_0_3 : fix_float_0 -> fix_float_3 -> bool
val float_LessThanEqual_0_4 : fix_float_0 -> fix_float_4 -> bool
val float_LessThanEqual_0_5 : fix_float_0 -> fix_float_5 -> bool
val float_LessThanEqual_0_6 : fix_float_0 -> fix_float_6 -> bool
val float_LessThanEqual_1_0 : fix_float_1 -> fix_float_0 -> bool
val float_LessThanEqual_1_1 : fix_float_1 -> fix_float_1 -> bool
val float_LessThanEqual_1_2 : fix_float_1 -> fix_float_2 -> bool
val float_LessThanEqual_1_3 : fix_float_1 -> fix_float_3 -> bool
val float_LessThanEqual_1_4 : fix_float_1 -> fix_float_4 -> bool
val float_LessThanEqual_1_5 : fix_float_1 -> fix_float_5 -> bool
val float_LessThanEqual_1_6 : fix_float_1 -> fix_float_6 -> bool
val float_LessThanEqual_2_0 : fix_float_2 -> fix_float_0 -> bool
val float_LessThanEqual_2_1 : fix_float_2 -> fix_float_1 -> bool
val float_LessThanEqual_2_2 : fix_float_2 -> fix_float_2 -> bool
val float_LessThanEqual_2_3 : fix_float_2 -> fix_float_3 -> bool
val float_LessThanEqual_2_4 : fix_float_2 -> fix_float_4 -> bool
val float_LessThanEqual_2_5 : fix_float_2 -> fix_float_5 -> bool
val float_LessThanEqual_2_6 : fix_float_2 -> fix_float_6 -> bool
val float_LessThanEqual_3_0 : fix_float_3 -> fix_float_0 -> bool
val float_LessThanEqual_3_1 : fix_float_3 -> fix_float_1 -> bool
val float_LessThanEqual_3_2 : fix_float_3 -> fix_float_2 -> bool
val float_LessThanEqual_3_3 : fix_float_3 -> fix_float_3 -> bool
val float_LessThanEqual_3_4 : fix_float_3 -> fix_float_4 -> bool
val float_LessThanEqual_3_5 : fix_float_3 -> fix_float_5 -> bool
val float_LessThanEqual_3_6 : fix_float_3 -> fix_float_6 -> bool
val float_LessThanEqual_4_0 : fix_float_4 -> fix_float_0 -> bool
val float_LessThanEqual_4_1 : fix_float_4 -> fix_float_1 -> bool
val float_LessThanEqual_4_2 : fix_float_4 -> fix_float_2 -> bool
val float_LessThanEqual_4_3 : fix_float_4 -> fix_float_3 -> bool
val float_LessThanEqual_4_4 : fix_float_4 -> fix_float_4 -> bool
val float_LessThanEqual_4_5 : fix_float_4 -> fix_float_5 -> bool
val float_LessThanEqual_4_6 : fix_float_4 -> fix_float_6 -> bool
val float_LessThanEqual_5_0 : fix_float_5 -> fix_float_0 -> bool
val float_LessThanEqual_5_1 : fix_float_5 -> fix_float_1 -> bool
val float_LessThanEqual_5_2 : fix_float_5 -> fix_float_2 -> bool
val float_LessThanEqual_5_3 : fix_float_5 -> fix_float_3 -> bool
val float_LessThanEqual_5_4 : fix_float_5 -> fix_float_4 -> bool
val float_LessThanEqual_5_5 : fix_float_5 -> fix_float_5 -> bool
val float_LessThanEqual_5_6 : fix_float_5 -> fix_float_6 -> bool
val float_LessThanEqual_6_0 : fix_float_6 -> fix_float_0 -> bool
val float_LessThanEqual_6_1 : fix_float_6 -> fix_float_1 -> bool
val float_LessThanEqual_6_2 : fix_float_6 -> fix_float_2 -> bool
val float_LessThanEqual_6_3 : fix_float_6 -> fix_float_3 -> bool
val float_LessThanEqual_6_4 : fix_float_6 -> fix_float_4 -> bool
val float_LessThanEqual_6_5 : fix_float_6 -> fix_float_5 -> bool
val float_LessThanEqual_6_6 : fix_float_6 -> fix_float_6 -> bool
val float_Equal_0_0 : fix_float_0 -> fix_float_0 -> bool
val float_Equal_0_1 : fix_float_0 -> fix_float_1 -> bool
val float_Equal_0_2 : fix_float_0 -> fix_float_2 -> bool
val float_Equal_0_3 : fix_float_0 -> fix_float_3 -> bool
val float_Equal_0_4 : fix_float_0 -> fix_float_4 -> bool
val float_Equal_0_5 : fix_float_0 -> fix_float_5 -> bool
val float_Equal_0_6 : fix_float_0 -> fix_float_6 -> bool
val float_Equal_1_0 : fix_float_1 -> fix_float_0 -> bool
val float_Equal_1_1 : fix_float_1 -> fix_float_1 -> bool
val float_Equal_1_2 : fix_float_1 -> fix_float_2 -> bool
val float_Equal_1_3 : fix_float_1 -> fix_float_3 -> bool
val float_Equal_1_4 : fix_float_1 -> fix_float_4 -> bool
val float_Equal_1_5 : fix_float_1 -> fix_float_5 -> bool
val float_Equal_1_6 : fix_float_1 -> fix_float_6 -> bool
val float_Equal_2_0 : fix_float_2 -> fix_float_0 -> bool
val float_Equal_2_1 : fix_float_2 -> fix_float_1 -> bool
val float_Equal_2_2 : fix_float_2 -> fix_float_2 -> bool
val float_Equal_2_3 : fix_float_2 -> fix_float_3 -> bool
val float_Equal_2_4 : fix_float_2 -> fix_float_4 -> bool
val float_Equal_2_5 : fix_float_2 -> fix_float_5 -> bool
val float_Equal_2_6 : fix_float_2 -> fix_float_6 -> bool
val float_Equal_3_0 : fix_float_3 -> fix_float_0 -> bool
val float_Equal_3_1 : fix_float_3 -> fix_float_1 -> bool
val float_Equal_3_2 : fix_float_3 -> fix_float_2 -> bool
val float_Equal_3_3 : fix_float_3 -> fix_float_3 -> bool
val float_Equal_3_4 : fix_float_3 -> fix_float_4 -> bool
val float_Equal_3_5 : fix_float_3 -> fix_float_5 -> bool
val float_Equal_3_6 : fix_float_3 -> fix_float_6 -> bool
val float_Equal_4_0 : fix_float_4 -> fix_float_0 -> bool
val float_Equal_4_1 : fix_float_4 -> fix_float_1 -> bool
val float_Equal_4_2 : fix_float_4 -> fix_float_2 -> bool
val float_Equal_4_3 : fix_float_4 -> fix_float_3 -> bool
val float_Equal_4_4 : fix_float_4 -> fix_float_4 -> bool
val float_Equal_4_5 : fix_float_4 -> fix_float_5 -> bool
val float_Equal_4_6 : fix_float_4 -> fix_float_6 -> bool
val float_Equal_5_0 : fix_float_5 -> fix_float_0 -> bool
val float_Equal_5_1 : fix_float_5 -> fix_float_1 -> bool
val float_Equal_5_2 : fix_float_5 -> fix_float_2 -> bool
val float_Equal_5_3 : fix_float_5 -> fix_float_3 -> bool
val float_Equal_5_4 : fix_float_5 -> fix_float_4 -> bool
val float_Equal_5_5 : fix_float_5 -> fix_float_5 -> bool
val float_Equal_5_6 : fix_float_5 -> fix_float_6 -> bool
val float_Equal_6_0 : fix_float_6 -> fix_float_0 -> bool
val float_Equal_6_1 : fix_float_6 -> fix_float_1 -> bool
val float_Equal_6_2 : fix_float_6 -> fix_float_2 -> bool
val float_Equal_6_3 : fix_float_6 -> fix_float_3 -> bool
val float_Equal_6_4 : fix_float_6 -> fix_float_4 -> bool
val float_Equal_6_5 : fix_float_6 -> fix_float_5 -> bool
val float_Equal_6_6 : fix_float_6 -> fix_float_6 -> bool
val float_is_zero_0 : fix_float_0 -> bool
val float_is_zero_1 : fix_float_1 -> bool
val float_is_zero_2 : fix_float_2 -> bool
val float_is_zero_3 : fix_float_3 -> bool
val float_is_zero_4 : fix_float_4 -> bool
val float_is_zero_5 : fix_float_5 -> bool
val float_is_zero_6 : fix_float_6 -> bool
val float_is_one_0 : fix_float_0 -> bool
val float_is_one_1 : fix_float_1 -> bool
val float_is_one_2 : fix_float_2 -> bool
val float_is_one_3 : fix_float_3 -> bool
val float_is_one_4 : fix_float_4 -> bool
val float_is_one_5 : fix_float_5 -> bool
val float_is_one_6 : fix_float_6 -> bool
val float_higher_precision_0_0 : fix_float_0 -> fix_float_0 -> bool
val float_higher_precision_0_1 : fix_float_0 -> fix_float_1 -> bool
val float_higher_precision_0_2 : fix_float_0 -> fix_float_2 -> bool
val float_higher_precision_0_3 : fix_float_0 -> fix_float_3 -> bool
val float_higher_precision_0_4 : fix_float_0 -> fix_float_4 -> bool
val float_higher_precision_0_5 : fix_float_0 -> fix_float_5 -> bool
val float_higher_precision_0_6 : fix_float_0 -> fix_float_6 -> bool
val float_higher_precision_1_0 : fix_float_1 -> fix_float_0 -> bool
val float_higher_precision_1_1 : fix_float_1 -> fix_float_1 -> bool
val float_higher_precision_1_2 : fix_float_1 -> fix_float_2 -> bool
val float_higher_precision_1_3 : fix_float_1 -> fix_float_3 -> bool
val float_higher_precision_1_4 : fix_float_1 -> fix_float_4 -> bool
val float_higher_precision_1_5 : fix_float_1 -> fix_float_5 -> bool
val float_higher_precision_1_6 : fix_float_1 -> fix_float_6 -> bool
val float_higher_precision_2_0 : fix_float_2 -> fix_float_0 -> bool
val float_higher_precision_2_1 : fix_float_2 -> fix_float_1 -> bool
val float_higher_precision_2_2 : fix_float_2 -> fix_float_2 -> bool
val float_higher_precision_2_3 : fix_float_2 -> fix_float_3 -> bool
val float_higher_precision_2_4 : fix_float_2 -> fix_float_4 -> bool
val float_higher_precision_2_5 : fix_float_2 -> fix_float_5 -> bool
val float_higher_precision_2_6 : fix_float_2 -> fix_float_6 -> bool
val float_higher_precision_3_0 : fix_float_3 -> fix_float_0 -> bool
val float_higher_precision_3_1 : fix_float_3 -> fix_float_1 -> bool
val float_higher_precision_3_2 : fix_float_3 -> fix_float_2 -> bool
val float_higher_precision_3_3 : fix_float_3 -> fix_float_3 -> bool
val float_higher_precision_3_4 : fix_float_3 -> fix_float_4 -> bool
val float_higher_precision_3_5 : fix_float_3 -> fix_float_5 -> bool
val float_higher_precision_3_6 : fix_float_3 -> fix_float_6 -> bool
val float_higher_precision_4_0 : fix_float_4 -> fix_float_0 -> bool
val float_higher_precision_4_1 : fix_float_4 -> fix_float_1 -> bool
val float_higher_precision_4_2 : fix_float_4 -> fix_float_2 -> bool
val float_higher_precision_4_3 : fix_float_4 -> fix_float_3 -> bool
val float_higher_precision_4_4 : fix_float_4 -> fix_float_4 -> bool
val float_higher_precision_4_5 : fix_float_4 -> fix_float_5 -> bool
val float_higher_precision_4_6 : fix_float_4 -> fix_float_6 -> bool
val float_higher_precision_5_0 : fix_float_5 -> fix_float_0 -> bool
val float_higher_precision_5_1 : fix_float_5 -> fix_float_1 -> bool
val float_higher_precision_5_2 : fix_float_5 -> fix_float_2 -> bool
val float_higher_precision_5_3 : fix_float_5 -> fix_float_3 -> bool
val float_higher_precision_5_4 : fix_float_5 -> fix_float_4 -> bool
val float_higher_precision_5_5 : fix_float_5 -> fix_float_5 -> bool
val float_higher_precision_5_6 : fix_float_5 -> fix_float_6 -> bool
val float_higher_precision_6_0 : fix_float_6 -> fix_float_0 -> bool
val float_higher_precision_6_1 : fix_float_6 -> fix_float_1 -> bool
val float_higher_precision_6_2 : fix_float_6 -> fix_float_2 -> bool
val float_higher_precision_6_3 : fix_float_6 -> fix_float_3 -> bool
val float_higher_precision_6_4 : fix_float_6 -> fix_float_4 -> bool
val float_higher_precision_6_5 : fix_float_6 -> fix_float_5 -> bool
val float_higher_precision_6_6 : fix_float_6 -> fix_float_6 -> bool
val float_equal_precision_0_0 : fix_float_0 -> fix_float_0 -> bool
val float_equal_precision_0_1 : fix_float_0 -> fix_float_1 -> bool
val float_equal_precision_0_2 : fix_float_0 -> fix_float_2 -> bool
val float_equal_precision_0_3 : fix_float_0 -> fix_float_3 -> bool
val float_equal_precision_0_4 : fix_float_0 -> fix_float_4 -> bool
val float_equal_precision_0_5 : fix_float_0 -> fix_float_5 -> bool
val float_equal_precision_0_6 : fix_float_0 -> fix_float_6 -> bool
val float_equal_precision_1_0 : fix_float_1 -> fix_float_0 -> bool
val float_equal_precision_1_1 : fix_float_1 -> fix_float_1 -> bool
val float_equal_precision_1_2 : fix_float_1 -> fix_float_2 -> bool
val float_equal_precision_1_3 : fix_float_1 -> fix_float_3 -> bool
val float_equal_precision_1_4 : fix_float_1 -> fix_float_4 -> bool
val float_equal_precision_1_5 : fix_float_1 -> fix_float_5 -> bool
val float_equal_precision_1_6 : fix_float_1 -> fix_float_6 -> bool
val float_equal_precision_2_0 : fix_float_2 -> fix_float_0 -> bool
val float_equal_precision_2_1 : fix_float_2 -> fix_float_1 -> bool
val float_equal_precision_2_2 : fix_float_2 -> fix_float_2 -> bool
val float_equal_precision_2_3 : fix_float_2 -> fix_float_3 -> bool
val float_equal_precision_2_4 : fix_float_2 -> fix_float_4 -> bool
val float_equal_precision_2_5 : fix_float_2 -> fix_float_5 -> bool
val float_equal_precision_2_6 : fix_float_2 -> fix_float_6 -> bool
val float_equal_precision_3_0 : fix_float_3 -> fix_float_0 -> bool
val float_equal_precision_3_1 : fix_float_3 -> fix_float_1 -> bool
val float_equal_precision_3_2 : fix_float_3 -> fix_float_2 -> bool
val float_equal_precision_3_3 : fix_float_3 -> fix_float_3 -> bool
val float_equal_precision_3_4 : fix_float_3 -> fix_float_4 -> bool
val float_equal_precision_3_5 : fix_float_3 -> fix_float_5 -> bool
val float_equal_precision_3_6 : fix_float_3 -> fix_float_6 -> bool
val float_equal_precision_4_0 : fix_float_4 -> fix_float_0 -> bool
val float_equal_precision_4_1 : fix_float_4 -> fix_float_1 -> bool
val float_equal_precision_4_2 : fix_float_4 -> fix_float_2 -> bool
val float_equal_precision_4_3 : fix_float_4 -> fix_float_3 -> bool
val float_equal_precision_4_4 : fix_float_4 -> fix_float_4 -> bool
val float_equal_precision_4_5 : fix_float_4 -> fix_float_5 -> bool
val float_equal_precision_4_6 : fix_float_4 -> fix_float_6 -> bool
val float_equal_precision_5_0 : fix_float_5 -> fix_float_0 -> bool
val float_equal_precision_5_1 : fix_float_5 -> fix_float_1 -> bool
val float_equal_precision_5_2 : fix_float_5 -> fix_float_2 -> bool
val float_equal_precision_5_3 : fix_float_5 -> fix_float_3 -> bool
val float_equal_precision_5_4 : fix_float_5 -> fix_float_4 -> bool
val float_equal_precision_5_5 : fix_float_5 -> fix_float_5 -> bool
val float_equal_precision_5_6 : fix_float_5 -> fix_float_6 -> bool
val float_equal_precision_6_0 : fix_float_6 -> fix_float_0 -> bool
val float_equal_precision_6_1 : fix_float_6 -> fix_float_1 -> bool
val float_equal_precision_6_2 : fix_float_6 -> fix_float_2 -> bool
val float_equal_precision_6_3 : fix_float_6 -> fix_float_3 -> bool
val float_equal_precision_6_4 : fix_float_6 -> fix_float_4 -> bool
val float_equal_precision_6_5 : fix_float_6 -> fix_float_5 -> bool
val float_equal_precision_6_6 : fix_float_6 -> fix_float_6 -> bool