| SystemC Simulation |
| ****************** limits fx_float_zero |
| ****************** limits fx_float_inf |
| ****************** limits fx_float |
| zero_min : 0x0 |
| zero_plus : 0x0 |
| zero : 0x0 |
| NaN : NaN |
| Inf_plus : Inf |
| Inf_min : -Inf |
| Inf : Inf |
| long_max : 0x7fffffffffffffff |
| long_min : 0x8e+15 |
| int_max : 0x7fffffff |
| int_min : 0x8e+7 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffffffffffff |
| double_min : 0x.4e-255 |
| double_max : 0x0fffffffffffff8e+242 |
| float_min : 0x.4e-31 |
| float_max : 0x0ffffffe+26 |
| zero_min / zero_min : NaN |
| zero_min / zero_plus : NaN |
| zero_min / zero : NaN |
| zero_min / NaN : NaN |
| zero_min / Inf_plus : 0x0 |
| zero_min / Inf_min : 0x0 |
| zero_min / Inf : 0x0 |
| zero_min / long_max : 0x0 |
| zero_min / long_min : 0x0 |
| zero_min / int_max : 0x0 |
| zero_min / int_min : 0x0 |
| zero_min / uint_max : 0x0 |
| zero_min / ulong_max : 0x0 |
| zero_min / double_min : 0x0 |
| zero_min / double_max : 0x0 |
| zero_min / float_min : 0x0 |
| zero_min / float_max : 0x0 |
| zero_min * zero_min : 0x0 |
| zero_min * zero_plus : 0x0 |
| zero_min * zero : 0x0 |
| zero_min * NaN : NaN |
| zero_min * Inf_plus : NaN |
| zero_min * Inf_min : NaN |
| zero_min * Inf : NaN |
| zero_min * long_max : 0x0 |
| zero_min * long_min : 0x0 |
| zero_min * int_max : 0x0 |
| zero_min * int_min : 0x0 |
| zero_min * uint_max : 0x0 |
| zero_min * ulong_max : 0x0 |
| zero_min * double_min : 0x0 |
| zero_min * double_max : 0x0 |
| zero_min * float_min : 0x0 |
| zero_min * float_max : 0x0 |
| zero_min + zero_min : 0x0 |
| zero_min + zero_plus : 0x0 |
| zero_min + zero : 0x0 |
| zero_min + NaN : NaN |
| zero_min + Inf_plus : Inf |
| zero_min + Inf_min : -Inf |
| zero_min + Inf : Inf |
| zero_min + long_max : 0x7fffffffffffffff |
| zero_min + long_min : 0x8e+15 |
| zero_min + int_max : 0x7fffffff |
| zero_min + int_min : 0x8e+7 |
| zero_min + uint_max : 0x0ffffffff |
| zero_min + ulong_max : 0x0ffffffffffffffff |
| zero_min + double_min : 0x.4e-255 |
| zero_min + double_max : 0x0fffffffffffff8e+242 |
| zero_min + float_min : 0x.4e-31 |
| zero_min + float_max : 0x0ffffffe+26 |
| zero_min - zero_min : 0x0 |
| zero_min - zero_plus : 0x0 |
| zero_min - zero : 0x0 |
| zero_min - NaN : NaN |
| zero_min - Inf_plus : -Inf |
| zero_min - Inf_min : Inf |
| zero_min - Inf : -Inf |
| zero_min - long_max : 0x8000000000000001 |
| zero_min - long_min : 0x08e+15 |
| zero_min - int_max : 0x80000001 |
| zero_min - int_min : 0x08e+7 |
| zero_min - uint_max : 0xf00000001 |
| zero_min - ulong_max : 0xf0000000000000001 |
| zero_min - double_min : 0x.ce-255 |
| zero_min - double_max : 0xf00000000000008e+242 |
| zero_min - float_min : 0x.ce-31 |
| zero_min - float_max : 0xf000001e+26 |
| zero_min > zero_min : 0x0 |
| zero_min > zero_plus : 0x0 |
| zero_min > zero : 0x0 |
| zero_min > NaN : 0x0 |
| zero_min > Inf_plus : 0x0 |
| zero_min > Inf_min : 0x1 |
| zero_min > Inf : 0x0 |
| zero_min > long_max : 0x0 |
| zero_min > long_min : 0x1 |
| zero_min > int_max : 0x0 |
| zero_min > int_min : 0x1 |
| zero_min > uint_max : 0x0 |
| zero_min > ulong_max : 0x0 |
| zero_min > double_min : 0x0 |
| zero_min > double_max : 0x0 |
| zero_min > float_min : 0x0 |
| zero_min > float_max : 0x0 |
| zero_min < zero_min : 0x0 |
| zero_min < zero_plus : 0x0 |
| zero_min < zero : 0x0 |
| zero_min < NaN : 0x0 |
| zero_min < Inf_plus : 0x1 |
| zero_min < Inf_min : 0x0 |
| zero_min < Inf : 0x1 |
| zero_min < long_max : 0x1 |
| zero_min < long_min : 0x0 |
| zero_min < int_max : 0x1 |
| zero_min < int_min : 0x0 |
| zero_min < uint_max : 0x1 |
| zero_min < ulong_max : 0x1 |
| zero_min < double_min : 0x1 |
| zero_min < double_max : 0x1 |
| zero_min < float_min : 0x1 |
| zero_min < float_max : 0x1 |
| zero_min >= zero_min : 0x1 |
| zero_min >= zero_plus : 0x1 |
| zero_min >= zero : 0x1 |
| zero_min >= NaN : 0x0 |
| zero_min >= Inf_plus : 0x0 |
| zero_min >= Inf_min : 0x1 |
| zero_min >= Inf : 0x0 |
| zero_min >= long_max : 0x0 |
| zero_min >= long_min : 0x1 |
| zero_min >= int_max : 0x0 |
| zero_min >= int_min : 0x1 |
| zero_min >= uint_max : 0x0 |
| zero_min >= ulong_max : 0x0 |
| zero_min >= double_min : 0x0 |
| zero_min >= double_max : 0x0 |
| zero_min >= float_min : 0x0 |
| zero_min >= float_max : 0x0 |
| zero_min <= zero_min : 0x1 |
| zero_min <= zero_plus : 0x1 |
| zero_min <= zero : 0x1 |
| zero_min <= NaN : 0x0 |
| zero_min <= Inf_plus : 0x1 |
| zero_min <= Inf_min : 0x0 |
| zero_min <= Inf : 0x1 |
| zero_min <= long_max : 0x1 |
| zero_min <= long_min : 0x0 |
| zero_min <= int_max : 0x1 |
| zero_min <= int_min : 0x0 |
| zero_min <= uint_max : 0x1 |
| zero_min <= ulong_max : 0x1 |
| zero_min <= double_min : 0x1 |
| zero_min <= double_max : 0x1 |
| zero_min <= float_min : 0x1 |
| zero_min <= float_max : 0x1 |
| zero_min == zero_min : 0x1 |
| zero_min == zero_plus : 0x1 |
| zero_min == zero : 0x1 |
| zero_min == NaN : 0x0 |
| zero_min == Inf_plus : 0x0 |
| zero_min == Inf_min : 0x0 |
| zero_min == Inf : 0x0 |
| zero_min == long_max : 0x0 |
| zero_min == long_min : 0x0 |
| zero_min == int_max : 0x0 |
| zero_min == int_min : 0x0 |
| zero_min == uint_max : 0x0 |
| zero_min == ulong_max : 0x0 |
| zero_min == double_min : 0x0 |
| zero_min == double_max : 0x0 |
| zero_min == float_min : 0x0 |
| zero_min == float_max : 0x0 |
| zero_min != zero_min : 0x0 |
| zero_min != zero_plus : 0x0 |
| zero_min != zero : 0x0 |
| zero_min != NaN : 0x1 |
| zero_min != Inf_plus : 0x1 |
| zero_min != Inf_min : 0x1 |
| zero_min != Inf : 0x1 |
| zero_min != long_max : 0x1 |
| zero_min != long_min : 0x1 |
| zero_min != int_max : 0x1 |
| zero_min != int_min : 0x1 |
| zero_min != uint_max : 0x1 |
| zero_min != ulong_max : 0x1 |
| zero_min != double_min : 0x1 |
| zero_min != double_max : 0x1 |
| zero_min != float_min : 0x1 |
| zero_min != float_max : 0x1 |
| zero_min * zero_min * zero_min : 0x0 |
| zero_min * zero_min * zero_plus : 0x0 |
| zero_min * zero_min * zero : 0x0 |
| zero_min * zero_min * NaN : NaN |
| zero_min * zero_min * Inf_plus : NaN |
| zero_min * zero_min * Inf_min : NaN |
| zero_min * zero_min * Inf : NaN |
| zero_min * zero_min * long_max : 0x0 |
| zero_min * zero_min * long_min : 0x0 |
| zero_min * zero_min * int_max : 0x0 |
| zero_min * zero_min * int_min : 0x0 |
| zero_min * zero_min * uint_max : 0x0 |
| zero_min * zero_min * ulong_max : 0x0 |
| zero_min * zero_min * double_min : 0x0 |
| zero_min * zero_min * double_max : 0x0 |
| zero_min * zero_min * float_min : 0x0 |
| zero_min * zero_min * float_max : 0x0 |
| zero_plus / zero_min : NaN |
| zero_plus / zero_plus : NaN |
| zero_plus / zero : NaN |
| zero_plus / NaN : NaN |
| zero_plus / Inf_plus : 0x0 |
| zero_plus / Inf_min : 0x0 |
| zero_plus / Inf : 0x0 |
| zero_plus / long_max : 0x0 |
| zero_plus / long_min : 0x0 |
| zero_plus / int_max : 0x0 |
| zero_plus / int_min : 0x0 |
| zero_plus / uint_max : 0x0 |
| zero_plus / ulong_max : 0x0 |
| zero_plus / double_min : 0x0 |
| zero_plus / double_max : 0x0 |
| zero_plus / float_min : 0x0 |
| zero_plus / float_max : 0x0 |
| zero_plus * zero_min : 0x0 |
| zero_plus * zero_plus : 0x0 |
| zero_plus * zero : 0x0 |
| zero_plus * NaN : NaN |
| zero_plus * Inf_plus : NaN |
| zero_plus * Inf_min : NaN |
| zero_plus * Inf : NaN |
| zero_plus * long_max : 0x0 |
| zero_plus * long_min : 0x0 |
| zero_plus * int_max : 0x0 |
| zero_plus * int_min : 0x0 |
| zero_plus * uint_max : 0x0 |
| zero_plus * ulong_max : 0x0 |
| zero_plus * double_min : 0x0 |
| zero_plus * double_max : 0x0 |
| zero_plus * float_min : 0x0 |
| zero_plus * float_max : 0x0 |
| zero_plus + zero_min : 0x0 |
| zero_plus + zero_plus : 0x0 |
| zero_plus + zero : 0x0 |
| zero_plus + NaN : NaN |
| zero_plus + Inf_plus : Inf |
| zero_plus + Inf_min : -Inf |
| zero_plus + Inf : Inf |
| zero_plus + long_max : 0x7fffffffffffffff |
| zero_plus + long_min : 0x8e+15 |
| zero_plus + int_max : 0x7fffffff |
| zero_plus + int_min : 0x8e+7 |
| zero_plus + uint_max : 0x0ffffffff |
| zero_plus + ulong_max : 0x0ffffffffffffffff |
| zero_plus + double_min : 0x.4e-255 |
| zero_plus + double_max : 0x0fffffffffffff8e+242 |
| zero_plus + float_min : 0x.4e-31 |
| zero_plus + float_max : 0x0ffffffe+26 |
| zero_plus - zero_min : 0x0 |
| zero_plus - zero_plus : 0x0 |
| zero_plus - zero : 0x0 |
| zero_plus - NaN : NaN |
| zero_plus - Inf_plus : -Inf |
| zero_plus - Inf_min : Inf |
| zero_plus - Inf : -Inf |
| zero_plus - long_max : 0x8000000000000001 |
| zero_plus - long_min : 0x08e+15 |
| zero_plus - int_max : 0x80000001 |
| zero_plus - int_min : 0x08e+7 |
| zero_plus - uint_max : 0xf00000001 |
| zero_plus - ulong_max : 0xf0000000000000001 |
| zero_plus - double_min : 0x.ce-255 |
| zero_plus - double_max : 0xf00000000000008e+242 |
| zero_plus - float_min : 0x.ce-31 |
| zero_plus - float_max : 0xf000001e+26 |
| zero_plus > zero_min : 0x0 |
| zero_plus > zero_plus : 0x0 |
| zero_plus > zero : 0x0 |
| zero_plus > NaN : 0x0 |
| zero_plus > Inf_plus : 0x0 |
| zero_plus > Inf_min : 0x1 |
| zero_plus > Inf : 0x0 |
| zero_plus > long_max : 0x0 |
| zero_plus > long_min : 0x1 |
| zero_plus > int_max : 0x0 |
| zero_plus > int_min : 0x1 |
| zero_plus > uint_max : 0x0 |
| zero_plus > ulong_max : 0x0 |
| zero_plus > double_min : 0x0 |
| zero_plus > double_max : 0x0 |
| zero_plus > float_min : 0x0 |
| zero_plus > float_max : 0x0 |
| zero_plus < zero_min : 0x0 |
| zero_plus < zero_plus : 0x0 |
| zero_plus < zero : 0x0 |
| zero_plus < NaN : 0x0 |
| zero_plus < Inf_plus : 0x1 |
| zero_plus < Inf_min : 0x0 |
| zero_plus < Inf : 0x1 |
| zero_plus < long_max : 0x1 |
| zero_plus < long_min : 0x0 |
| zero_plus < int_max : 0x1 |
| zero_plus < int_min : 0x0 |
| zero_plus < uint_max : 0x1 |
| zero_plus < ulong_max : 0x1 |
| zero_plus < double_min : 0x1 |
| zero_plus < double_max : 0x1 |
| zero_plus < float_min : 0x1 |
| zero_plus < float_max : 0x1 |
| zero_plus >= zero_min : 0x1 |
| zero_plus >= zero_plus : 0x1 |
| zero_plus >= zero : 0x1 |
| zero_plus >= NaN : 0x0 |
| zero_plus >= Inf_plus : 0x0 |
| zero_plus >= Inf_min : 0x1 |
| zero_plus >= Inf : 0x0 |
| zero_plus >= long_max : 0x0 |
| zero_plus >= long_min : 0x1 |
| zero_plus >= int_max : 0x0 |
| zero_plus >= int_min : 0x1 |
| zero_plus >= uint_max : 0x0 |
| zero_plus >= ulong_max : 0x0 |
| zero_plus >= double_min : 0x0 |
| zero_plus >= double_max : 0x0 |
| zero_plus >= float_min : 0x0 |
| zero_plus >= float_max : 0x0 |
| zero_plus <= zero_min : 0x1 |
| zero_plus <= zero_plus : 0x1 |
| zero_plus <= zero : 0x1 |
| zero_plus <= NaN : 0x0 |
| zero_plus <= Inf_plus : 0x1 |
| zero_plus <= Inf_min : 0x0 |
| zero_plus <= Inf : 0x1 |
| zero_plus <= long_max : 0x1 |
| zero_plus <= long_min : 0x0 |
| zero_plus <= int_max : 0x1 |
| zero_plus <= int_min : 0x0 |
| zero_plus <= uint_max : 0x1 |
| zero_plus <= ulong_max : 0x1 |
| zero_plus <= double_min : 0x1 |
| zero_plus <= double_max : 0x1 |
| zero_plus <= float_min : 0x1 |
| zero_plus <= float_max : 0x1 |
| zero_plus == zero_min : 0x1 |
| zero_plus == zero_plus : 0x1 |
| zero_plus == zero : 0x1 |
| zero_plus == NaN : 0x0 |
| zero_plus == Inf_plus : 0x0 |
| zero_plus == Inf_min : 0x0 |
| zero_plus == Inf : 0x0 |
| zero_plus == long_max : 0x0 |
| zero_plus == long_min : 0x0 |
| zero_plus == int_max : 0x0 |
| zero_plus == int_min : 0x0 |
| zero_plus == uint_max : 0x0 |
| zero_plus == ulong_max : 0x0 |
| zero_plus == double_min : 0x0 |
| zero_plus == double_max : 0x0 |
| zero_plus == float_min : 0x0 |
| zero_plus == float_max : 0x0 |
| zero_plus != zero_min : 0x0 |
| zero_plus != zero_plus : 0x0 |
| zero_plus != zero : 0x0 |
| zero_plus != NaN : 0x1 |
| zero_plus != Inf_plus : 0x1 |
| zero_plus != Inf_min : 0x1 |
| zero_plus != Inf : 0x1 |
| zero_plus != long_max : 0x1 |
| zero_plus != long_min : 0x1 |
| zero_plus != int_max : 0x1 |
| zero_plus != int_min : 0x1 |
| zero_plus != uint_max : 0x1 |
| zero_plus != ulong_max : 0x1 |
| zero_plus != double_min : 0x1 |
| zero_plus != double_max : 0x1 |
| zero_plus != float_min : 0x1 |
| zero_plus != float_max : 0x1 |
| zero_plus * zero_plus * zero_min : 0x0 |
| zero_plus * zero_plus * zero_plus : 0x0 |
| zero_plus * zero_plus * zero : 0x0 |
| zero_plus * zero_plus * NaN : NaN |
| zero_plus * zero_plus * Inf_plus : NaN |
| zero_plus * zero_plus * Inf_min : NaN |
| zero_plus * zero_plus * Inf : NaN |
| zero_plus * zero_plus * long_max : 0x0 |
| zero_plus * zero_plus * long_min : 0x0 |
| zero_plus * zero_plus * int_max : 0x0 |
| zero_plus * zero_plus * int_min : 0x0 |
| zero_plus * zero_plus * uint_max : 0x0 |
| zero_plus * zero_plus * ulong_max : 0x0 |
| zero_plus * zero_plus * double_min : 0x0 |
| zero_plus * zero_plus * double_max : 0x0 |
| zero_plus * zero_plus * float_min : 0x0 |
| zero_plus * zero_plus * float_max : 0x0 |
| zero / zero_min : NaN |
| zero / zero_plus : NaN |
| zero / zero : NaN |
| zero / NaN : NaN |
| zero / Inf_plus : 0x0 |
| zero / Inf_min : 0x0 |
| zero / Inf : 0x0 |
| zero / long_max : 0x0 |
| zero / long_min : 0x0 |
| zero / int_max : 0x0 |
| zero / int_min : 0x0 |
| zero / uint_max : 0x0 |
| zero / ulong_max : 0x0 |
| zero / double_min : 0x0 |
| zero / double_max : 0x0 |
| zero / float_min : 0x0 |
| zero / float_max : 0x0 |
| zero * zero_min : 0x0 |
| zero * zero_plus : 0x0 |
| zero * zero : 0x0 |
| zero * NaN : NaN |
| zero * Inf_plus : NaN |
| zero * Inf_min : NaN |
| zero * Inf : NaN |
| zero * long_max : 0x0 |
| zero * long_min : 0x0 |
| zero * int_max : 0x0 |
| zero * int_min : 0x0 |
| zero * uint_max : 0x0 |
| zero * ulong_max : 0x0 |
| zero * double_min : 0x0 |
| zero * double_max : 0x0 |
| zero * float_min : 0x0 |
| zero * float_max : 0x0 |
| zero + zero_min : 0x0 |
| zero + zero_plus : 0x0 |
| zero + zero : 0x0 |
| zero + NaN : NaN |
| zero + Inf_plus : Inf |
| zero + Inf_min : -Inf |
| zero + Inf : Inf |
| zero + long_max : 0x7fffffffffffffff |
| zero + long_min : 0x8e+15 |
| zero + int_max : 0x7fffffff |
| zero + int_min : 0x8e+7 |
| zero + uint_max : 0x0ffffffff |
| zero + ulong_max : 0x0ffffffffffffffff |
| zero + double_min : 0x.4e-255 |
| zero + double_max : 0x0fffffffffffff8e+242 |
| zero + float_min : 0x.4e-31 |
| zero + float_max : 0x0ffffffe+26 |
| zero - zero_min : 0x0 |
| zero - zero_plus : 0x0 |
| zero - zero : 0x0 |
| zero - NaN : NaN |
| zero - Inf_plus : -Inf |
| zero - Inf_min : Inf |
| zero - Inf : -Inf |
| zero - long_max : 0x8000000000000001 |
| zero - long_min : 0x08e+15 |
| zero - int_max : 0x80000001 |
| zero - int_min : 0x08e+7 |
| zero - uint_max : 0xf00000001 |
| zero - ulong_max : 0xf0000000000000001 |
| zero - double_min : 0x.ce-255 |
| zero - double_max : 0xf00000000000008e+242 |
| zero - float_min : 0x.ce-31 |
| zero - float_max : 0xf000001e+26 |
| zero > zero_min : 0x0 |
| zero > zero_plus : 0x0 |
| zero > zero : 0x0 |
| zero > NaN : 0x0 |
| zero > Inf_plus : 0x0 |
| zero > Inf_min : 0x1 |
| zero > Inf : 0x0 |
| zero > long_max : 0x0 |
| zero > long_min : 0x1 |
| zero > int_max : 0x0 |
| zero > int_min : 0x1 |
| zero > uint_max : 0x0 |
| zero > ulong_max : 0x0 |
| zero > double_min : 0x0 |
| zero > double_max : 0x0 |
| zero > float_min : 0x0 |
| zero > float_max : 0x0 |
| zero < zero_min : 0x0 |
| zero < zero_plus : 0x0 |
| zero < zero : 0x0 |
| zero < NaN : 0x0 |
| zero < Inf_plus : 0x1 |
| zero < Inf_min : 0x0 |
| zero < Inf : 0x1 |
| zero < long_max : 0x1 |
| zero < long_min : 0x0 |
| zero < int_max : 0x1 |
| zero < int_min : 0x0 |
| zero < uint_max : 0x1 |
| zero < ulong_max : 0x1 |
| zero < double_min : 0x1 |
| zero < double_max : 0x1 |
| zero < float_min : 0x1 |
| zero < float_max : 0x1 |
| zero >= zero_min : 0x1 |
| zero >= zero_plus : 0x1 |
| zero >= zero : 0x1 |
| zero >= NaN : 0x0 |
| zero >= Inf_plus : 0x0 |
| zero >= Inf_min : 0x1 |
| zero >= Inf : 0x0 |
| zero >= long_max : 0x0 |
| zero >= long_min : 0x1 |
| zero >= int_max : 0x0 |
| zero >= int_min : 0x1 |
| zero >= uint_max : 0x0 |
| zero >= ulong_max : 0x0 |
| zero >= double_min : 0x0 |
| zero >= double_max : 0x0 |
| zero >= float_min : 0x0 |
| zero >= float_max : 0x0 |
| zero <= zero_min : 0x1 |
| zero <= zero_plus : 0x1 |
| zero <= zero : 0x1 |
| zero <= NaN : 0x0 |
| zero <= Inf_plus : 0x1 |
| zero <= Inf_min : 0x0 |
| zero <= Inf : 0x1 |
| zero <= long_max : 0x1 |
| zero <= long_min : 0x0 |
| zero <= int_max : 0x1 |
| zero <= int_min : 0x0 |
| zero <= uint_max : 0x1 |
| zero <= ulong_max : 0x1 |
| zero <= double_min : 0x1 |
| zero <= double_max : 0x1 |
| zero <= float_min : 0x1 |
| zero <= float_max : 0x1 |
| zero == zero_min : 0x1 |
| zero == zero_plus : 0x1 |
| zero == zero : 0x1 |
| zero == NaN : 0x0 |
| zero == Inf_plus : 0x0 |
| zero == Inf_min : 0x0 |
| zero == Inf : 0x0 |
| zero == long_max : 0x0 |
| zero == long_min : 0x0 |
| zero == int_max : 0x0 |
| zero == int_min : 0x0 |
| zero == uint_max : 0x0 |
| zero == ulong_max : 0x0 |
| zero == double_min : 0x0 |
| zero == double_max : 0x0 |
| zero == float_min : 0x0 |
| zero == float_max : 0x0 |
| zero != zero_min : 0x0 |
| zero != zero_plus : 0x0 |
| zero != zero : 0x0 |
| zero != NaN : 0x1 |
| zero != Inf_plus : 0x1 |
| zero != Inf_min : 0x1 |
| zero != Inf : 0x1 |
| zero != long_max : 0x1 |
| zero != long_min : 0x1 |
| zero != int_max : 0x1 |
| zero != int_min : 0x1 |
| zero != uint_max : 0x1 |
| zero != ulong_max : 0x1 |
| zero != double_min : 0x1 |
| zero != double_max : 0x1 |
| zero != float_min : 0x1 |
| zero != float_max : 0x1 |
| zero * zero * zero_min : 0x0 |
| zero * zero * zero_plus : 0x0 |
| zero * zero * zero : 0x0 |
| zero * zero * NaN : NaN |
| zero * zero * Inf_plus : NaN |
| zero * zero * Inf_min : NaN |
| zero * zero * Inf : NaN |
| zero * zero * long_max : 0x0 |
| zero * zero * long_min : 0x0 |
| zero * zero * int_max : 0x0 |
| zero * zero * int_min : 0x0 |
| zero * zero * uint_max : 0x0 |
| zero * zero * ulong_max : 0x0 |
| zero * zero * double_min : 0x0 |
| zero * zero * double_max : 0x0 |
| zero * zero * float_min : 0x0 |
| zero * zero * float_max : 0x0 |
| zero_min : 0x0 |
| zero_plus : 0x0 |
| zero : 0x0 |
| NaN : NaN |
| Inf_plus : Inf |
| Inf_min : -Inf |
| Inf : Inf |
| long_max : 0x7fffffffffffffff |
| long_min : 0x8e+15 |
| int_max : 0x7fffffff |
| int_min : 0x8e+7 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffffffffffff |
| double_min : 0x.4e-255 |
| double_max : 0x0fffffffffffff8e+242 |
| float_min : 0x.4e-31 |
| float_max : 0x0ffffffe+26 |
| NaN / zero_min : NaN |
| NaN / zero_plus : NaN |
| NaN / zero : NaN |
| NaN / NaN : NaN |
| NaN / Inf_plus : NaN |
| NaN / Inf_min : NaN |
| NaN / Inf : NaN |
| NaN / long_max : NaN |
| NaN / long_min : NaN |
| NaN / int_max : NaN |
| NaN / int_min : NaN |
| NaN / uint_max : NaN |
| NaN / ulong_max : NaN |
| NaN / double_min : NaN |
| NaN / double_max : NaN |
| NaN / float_min : NaN |
| NaN / float_max : NaN |
| NaN * zero_min : NaN |
| NaN * zero_plus : NaN |
| NaN * zero : NaN |
| NaN * NaN : NaN |
| NaN * Inf_plus : NaN |
| NaN * Inf_min : NaN |
| NaN * Inf : NaN |
| NaN * long_max : NaN |
| NaN * long_min : NaN |
| NaN * int_max : NaN |
| NaN * int_min : NaN |
| NaN * uint_max : NaN |
| NaN * ulong_max : NaN |
| NaN * double_min : NaN |
| NaN * double_max : NaN |
| NaN * float_min : NaN |
| NaN * float_max : NaN |
| NaN + zero_min : NaN |
| NaN + zero_plus : NaN |
| NaN + zero : NaN |
| NaN + NaN : NaN |
| NaN + Inf_plus : NaN |
| NaN + Inf_min : NaN |
| NaN + Inf : NaN |
| NaN + long_max : NaN |
| NaN + long_min : NaN |
| NaN + int_max : NaN |
| NaN + int_min : NaN |
| NaN + uint_max : NaN |
| NaN + ulong_max : NaN |
| NaN + double_min : NaN |
| NaN + double_max : NaN |
| NaN + float_min : NaN |
| NaN + float_max : NaN |
| NaN - zero_min : NaN |
| NaN - zero_plus : NaN |
| NaN - zero : NaN |
| NaN - NaN : NaN |
| NaN - Inf_plus : NaN |
| NaN - Inf_min : NaN |
| NaN - Inf : NaN |
| NaN - long_max : NaN |
| NaN - long_min : NaN |
| NaN - int_max : NaN |
| NaN - int_min : NaN |
| NaN - uint_max : NaN |
| NaN - ulong_max : NaN |
| NaN - double_min : NaN |
| NaN - double_max : NaN |
| NaN - float_min : NaN |
| NaN - float_max : NaN |
| NaN > zero_min : 0x0 |
| NaN > zero_plus : 0x0 |
| NaN > zero : 0x0 |
| NaN > NaN : 0x0 |
| NaN > Inf_plus : 0x0 |
| NaN > Inf_min : 0x0 |
| NaN > Inf : 0x0 |
| NaN > long_max : 0x0 |
| NaN > long_min : 0x0 |
| NaN > int_max : 0x0 |
| NaN > int_min : 0x0 |
| NaN > uint_max : 0x0 |
| NaN > ulong_max : 0x0 |
| NaN > double_min : 0x0 |
| NaN > double_max : 0x0 |
| NaN > float_min : 0x0 |
| NaN > float_max : 0x0 |
| NaN < zero_min : 0x0 |
| NaN < zero_plus : 0x0 |
| NaN < zero : 0x0 |
| NaN < NaN : 0x0 |
| NaN < Inf_plus : 0x0 |
| NaN < Inf_min : 0x0 |
| NaN < Inf : 0x0 |
| NaN < long_max : 0x0 |
| NaN < long_min : 0x0 |
| NaN < int_max : 0x0 |
| NaN < int_min : 0x0 |
| NaN < uint_max : 0x0 |
| NaN < ulong_max : 0x0 |
| NaN < double_min : 0x0 |
| NaN < double_max : 0x0 |
| NaN < float_min : 0x0 |
| NaN < float_max : 0x0 |
| NaN >= zero_min : 0x0 |
| NaN >= zero_plus : 0x0 |
| NaN >= zero : 0x0 |
| NaN >= NaN : 0x0 |
| NaN >= Inf_plus : 0x0 |
| NaN >= Inf_min : 0x0 |
| NaN >= Inf : 0x0 |
| NaN >= long_max : 0x0 |
| NaN >= long_min : 0x0 |
| NaN >= int_max : 0x0 |
| NaN >= int_min : 0x0 |
| NaN >= uint_max : 0x0 |
| NaN >= ulong_max : 0x0 |
| NaN >= double_min : 0x0 |
| NaN >= double_max : 0x0 |
| NaN >= float_min : 0x0 |
| NaN >= float_max : 0x0 |
| NaN <= zero_min : 0x0 |
| NaN <= zero_plus : 0x0 |
| NaN <= zero : 0x0 |
| NaN <= NaN : 0x0 |
| NaN <= Inf_plus : 0x0 |
| NaN <= Inf_min : 0x0 |
| NaN <= Inf : 0x0 |
| NaN <= long_max : 0x0 |
| NaN <= long_min : 0x0 |
| NaN <= int_max : 0x0 |
| NaN <= int_min : 0x0 |
| NaN <= uint_max : 0x0 |
| NaN <= ulong_max : 0x0 |
| NaN <= double_min : 0x0 |
| NaN <= double_max : 0x0 |
| NaN <= float_min : 0x0 |
| NaN <= float_max : 0x0 |
| NaN == zero_min : 0x0 |
| NaN == zero_plus : 0x0 |
| NaN == zero : 0x0 |
| NaN == NaN : 0x0 |
| NaN == Inf_plus : 0x0 |
| NaN == Inf_min : 0x0 |
| NaN == Inf : 0x0 |
| NaN == long_max : 0x0 |
| NaN == long_min : 0x0 |
| NaN == int_max : 0x0 |
| NaN == int_min : 0x0 |
| NaN == uint_max : 0x0 |
| NaN == ulong_max : 0x0 |
| NaN == double_min : 0x0 |
| NaN == double_max : 0x0 |
| NaN == float_min : 0x0 |
| NaN == float_max : 0x0 |
| NaN != zero_min : 0x1 |
| NaN != zero_plus : 0x1 |
| NaN != zero : 0x1 |
| NaN != NaN : 0x1 |
| NaN != Inf_plus : 0x1 |
| NaN != Inf_min : 0x1 |
| NaN != Inf : 0x1 |
| NaN != long_max : 0x1 |
| NaN != long_min : 0x1 |
| NaN != int_max : 0x1 |
| NaN != int_min : 0x1 |
| NaN != uint_max : 0x1 |
| NaN != ulong_max : 0x1 |
| NaN != double_min : 0x1 |
| NaN != double_max : 0x1 |
| NaN != float_min : 0x1 |
| NaN != float_max : 0x1 |
| NaN * NaN * zero_min : NaN |
| NaN * NaN * zero_plus : NaN |
| NaN * NaN * zero : NaN |
| NaN * NaN * NaN : NaN |
| NaN * NaN * Inf_plus : NaN |
| NaN * NaN * Inf_min : NaN |
| NaN * NaN * Inf : NaN |
| NaN * NaN * long_max : NaN |
| NaN * NaN * long_min : NaN |
| NaN * NaN * int_max : NaN |
| NaN * NaN * int_min : NaN |
| NaN * NaN * uint_max : NaN |
| NaN * NaN * ulong_max : NaN |
| NaN * NaN * double_min : NaN |
| NaN * NaN * double_max : NaN |
| NaN * NaN * float_min : NaN |
| NaN * NaN * float_max : NaN |
| Inf_plus / zero_min : -Inf |
| Inf_plus / zero_plus : Inf |
| Inf_plus / zero : Inf |
| Inf_plus / NaN : NaN |
| Inf_plus / Inf_plus : NaN |
| Inf_plus / Inf_min : NaN |
| Inf_plus / Inf : NaN |
| Inf_plus / long_max : Inf |
| Inf_plus / long_min : -Inf |
| Inf_plus / int_max : Inf |
| Inf_plus / int_min : -Inf |
| Inf_plus / uint_max : Inf |
| Inf_plus / ulong_max : Inf |
| Inf_plus / double_min : Inf |
| Inf_plus / double_max : Inf |
| Inf_plus / float_min : Inf |
| Inf_plus / float_max : Inf |
| Inf_plus * zero_min : NaN |
| Inf_plus * zero_plus : NaN |
| Inf_plus * zero : NaN |
| Inf_plus * NaN : NaN |
| Inf_plus * Inf_plus : Inf |
| Inf_plus * Inf_min : -Inf |
| Inf_plus * Inf : Inf |
| Inf_plus * long_max : Inf |
| Inf_plus * long_min : -Inf |
| Inf_plus * int_max : Inf |
| Inf_plus * int_min : -Inf |
| Inf_plus * uint_max : Inf |
| Inf_plus * ulong_max : Inf |
| Inf_plus * double_min : Inf |
| Inf_plus * double_max : Inf |
| Inf_plus * float_min : Inf |
| Inf_plus * float_max : Inf |
| Inf_plus + zero_min : Inf |
| Inf_plus + zero_plus : Inf |
| Inf_plus + zero : Inf |
| Inf_plus + NaN : NaN |
| Inf_plus + Inf_plus : Inf |
| Inf_plus + Inf_min : NaN |
| Inf_plus + Inf : Inf |
| Inf_plus + long_max : Inf |
| Inf_plus + long_min : Inf |
| Inf_plus + int_max : Inf |
| Inf_plus + int_min : Inf |
| Inf_plus + uint_max : Inf |
| Inf_plus + ulong_max : Inf |
| Inf_plus + double_min : Inf |
| Inf_plus + double_max : Inf |
| Inf_plus + float_min : Inf |
| Inf_plus + float_max : Inf |
| Inf_plus - zero_min : Inf |
| Inf_plus - zero_plus : Inf |
| Inf_plus - zero : Inf |
| Inf_plus - NaN : NaN |
| Inf_plus - Inf_plus : NaN |
| Inf_plus - Inf_min : Inf |
| Inf_plus - Inf : NaN |
| Inf_plus - long_max : Inf |
| Inf_plus - long_min : Inf |
| Inf_plus - int_max : Inf |
| Inf_plus - int_min : Inf |
| Inf_plus - uint_max : Inf |
| Inf_plus - ulong_max : Inf |
| Inf_plus - double_min : Inf |
| Inf_plus - double_max : Inf |
| Inf_plus - float_min : Inf |
| Inf_plus - float_max : Inf |
| Inf_plus > zero_min : 0x1 |
| Inf_plus > zero_plus : 0x1 |
| Inf_plus > zero : 0x1 |
| Inf_plus > NaN : 0x0 |
| Inf_plus > Inf_plus : 0x0 |
| Inf_plus > Inf_min : 0x1 |
| Inf_plus > Inf : 0x0 |
| Inf_plus > long_max : 0x1 |
| Inf_plus > long_min : 0x1 |
| Inf_plus > int_max : 0x1 |
| Inf_plus > int_min : 0x1 |
| Inf_plus > uint_max : 0x1 |
| Inf_plus > ulong_max : 0x1 |
| Inf_plus > double_min : 0x1 |
| Inf_plus > double_max : 0x1 |
| Inf_plus > float_min : 0x1 |
| Inf_plus > float_max : 0x1 |
| Inf_plus < zero_min : 0x0 |
| Inf_plus < zero_plus : 0x0 |
| Inf_plus < zero : 0x0 |
| Inf_plus < NaN : 0x0 |
| Inf_plus < Inf_plus : 0x0 |
| Inf_plus < Inf_min : 0x0 |
| Inf_plus < Inf : 0x0 |
| Inf_plus < long_max : 0x0 |
| Inf_plus < long_min : 0x0 |
| Inf_plus < int_max : 0x0 |
| Inf_plus < int_min : 0x0 |
| Inf_plus < uint_max : 0x0 |
| Inf_plus < ulong_max : 0x0 |
| Inf_plus < double_min : 0x0 |
| Inf_plus < double_max : 0x0 |
| Inf_plus < float_min : 0x0 |
| Inf_plus < float_max : 0x0 |
| Inf_plus >= zero_min : 0x1 |
| Inf_plus >= zero_plus : 0x1 |
| Inf_plus >= zero : 0x1 |
| Inf_plus >= NaN : 0x0 |
| Inf_plus >= Inf_plus : 0x1 |
| Inf_plus >= Inf_min : 0x1 |
| Inf_plus >= Inf : 0x1 |
| Inf_plus >= long_max : 0x1 |
| Inf_plus >= long_min : 0x1 |
| Inf_plus >= int_max : 0x1 |
| Inf_plus >= int_min : 0x1 |
| Inf_plus >= uint_max : 0x1 |
| Inf_plus >= ulong_max : 0x1 |
| Inf_plus >= double_min : 0x1 |
| Inf_plus >= double_max : 0x1 |
| Inf_plus >= float_min : 0x1 |
| Inf_plus >= float_max : 0x1 |
| Inf_plus <= zero_min : 0x0 |
| Inf_plus <= zero_plus : 0x0 |
| Inf_plus <= zero : 0x0 |
| Inf_plus <= NaN : 0x0 |
| Inf_plus <= Inf_plus : 0x1 |
| Inf_plus <= Inf_min : 0x0 |
| Inf_plus <= Inf : 0x1 |
| Inf_plus <= long_max : 0x0 |
| Inf_plus <= long_min : 0x0 |
| Inf_plus <= int_max : 0x0 |
| Inf_plus <= int_min : 0x0 |
| Inf_plus <= uint_max : 0x0 |
| Inf_plus <= ulong_max : 0x0 |
| Inf_plus <= double_min : 0x0 |
| Inf_plus <= double_max : 0x0 |
| Inf_plus <= float_min : 0x0 |
| Inf_plus <= float_max : 0x0 |
| Inf_plus == zero_min : 0x0 |
| Inf_plus == zero_plus : 0x0 |
| Inf_plus == zero : 0x0 |
| Inf_plus == NaN : 0x0 |
| Inf_plus == Inf_plus : 0x1 |
| Inf_plus == Inf_min : 0x0 |
| Inf_plus == Inf : 0x1 |
| Inf_plus == long_max : 0x0 |
| Inf_plus == long_min : 0x0 |
| Inf_plus == int_max : 0x0 |
| Inf_plus == int_min : 0x0 |
| Inf_plus == uint_max : 0x0 |
| Inf_plus == ulong_max : 0x0 |
| Inf_plus == double_min : 0x0 |
| Inf_plus == double_max : 0x0 |
| Inf_plus == float_min : 0x0 |
| Inf_plus == float_max : 0x0 |
| Inf_plus != zero_min : 0x1 |
| Inf_plus != zero_plus : 0x1 |
| Inf_plus != zero : 0x1 |
| Inf_plus != NaN : 0x1 |
| Inf_plus != Inf_plus : 0x0 |
| Inf_plus != Inf_min : 0x1 |
| Inf_plus != Inf : 0x0 |
| Inf_plus != long_max : 0x1 |
| Inf_plus != long_min : 0x1 |
| Inf_plus != int_max : 0x1 |
| Inf_plus != int_min : 0x1 |
| Inf_plus != uint_max : 0x1 |
| Inf_plus != ulong_max : 0x1 |
| Inf_plus != double_min : 0x1 |
| Inf_plus != double_max : 0x1 |
| Inf_plus != float_min : 0x1 |
| Inf_plus != float_max : 0x1 |
| Inf_plus * Inf_plus * zero_min : NaN |
| Inf_plus * Inf_plus * zero_plus : NaN |
| Inf_plus * Inf_plus * zero : NaN |
| Inf_plus * Inf_plus * NaN : NaN |
| Inf_plus * Inf_plus * Inf_plus : Inf |
| Inf_plus * Inf_plus * Inf_min : -Inf |
| Inf_plus * Inf_plus * Inf : Inf |
| Inf_plus * Inf_plus * long_max : Inf |
| Inf_plus * Inf_plus * long_min : -Inf |
| Inf_plus * Inf_plus * int_max : Inf |
| Inf_plus * Inf_plus * int_min : -Inf |
| Inf_plus * Inf_plus * uint_max : Inf |
| Inf_plus * Inf_plus * ulong_max : Inf |
| Inf_plus * Inf_plus * double_min : Inf |
| Inf_plus * Inf_plus * double_max : Inf |
| Inf_plus * Inf_plus * float_min : Inf |
| Inf_plus * Inf_plus * float_max : Inf |
| Inf_min / zero_min : Inf |
| Inf_min / zero_plus : -Inf |
| Inf_min / zero : -Inf |
| Inf_min / NaN : NaN |
| Inf_min / Inf_plus : NaN |
| Inf_min / Inf_min : NaN |
| Inf_min / Inf : NaN |
| Inf_min / long_max : -Inf |
| Inf_min / long_min : Inf |
| Inf_min / int_max : -Inf |
| Inf_min / int_min : Inf |
| Inf_min / uint_max : -Inf |
| Inf_min / ulong_max : -Inf |
| Inf_min / double_min : -Inf |
| Inf_min / double_max : -Inf |
| Inf_min / float_min : -Inf |
| Inf_min / float_max : -Inf |
| Inf_min * zero_min : NaN |
| Inf_min * zero_plus : NaN |
| Inf_min * zero : NaN |
| Inf_min * NaN : NaN |
| Inf_min * Inf_plus : -Inf |
| Inf_min * Inf_min : Inf |
| Inf_min * Inf : -Inf |
| Inf_min * long_max : -Inf |
| Inf_min * long_min : Inf |
| Inf_min * int_max : -Inf |
| Inf_min * int_min : Inf |
| Inf_min * uint_max : -Inf |
| Inf_min * ulong_max : -Inf |
| Inf_min * double_min : -Inf |
| Inf_min * double_max : -Inf |
| Inf_min * float_min : -Inf |
| Inf_min * float_max : -Inf |
| Inf_min + zero_min : -Inf |
| Inf_min + zero_plus : -Inf |
| Inf_min + zero : -Inf |
| Inf_min + NaN : NaN |
| Inf_min + Inf_plus : NaN |
| Inf_min + Inf_min : -Inf |
| Inf_min + Inf : NaN |
| Inf_min + long_max : -Inf |
| Inf_min + long_min : -Inf |
| Inf_min + int_max : -Inf |
| Inf_min + int_min : -Inf |
| Inf_min + uint_max : -Inf |
| Inf_min + ulong_max : -Inf |
| Inf_min + double_min : -Inf |
| Inf_min + double_max : -Inf |
| Inf_min + float_min : -Inf |
| Inf_min + float_max : -Inf |
| Inf_min - zero_min : -Inf |
| Inf_min - zero_plus : -Inf |
| Inf_min - zero : -Inf |
| Inf_min - NaN : NaN |
| Inf_min - Inf_plus : -Inf |
| Inf_min - Inf_min : NaN |
| Inf_min - Inf : -Inf |
| Inf_min - long_max : -Inf |
| Inf_min - long_min : -Inf |
| Inf_min - int_max : -Inf |
| Inf_min - int_min : -Inf |
| Inf_min - uint_max : -Inf |
| Inf_min - ulong_max : -Inf |
| Inf_min - double_min : -Inf |
| Inf_min - double_max : -Inf |
| Inf_min - float_min : -Inf |
| Inf_min - float_max : -Inf |
| Inf_min > zero_min : 0x0 |
| Inf_min > zero_plus : 0x0 |
| Inf_min > zero : 0x0 |
| Inf_min > NaN : 0x0 |
| Inf_min > Inf_plus : 0x0 |
| Inf_min > Inf_min : 0x0 |
| Inf_min > Inf : 0x0 |
| Inf_min > long_max : 0x0 |
| Inf_min > long_min : 0x0 |
| Inf_min > int_max : 0x0 |
| Inf_min > int_min : 0x0 |
| Inf_min > uint_max : 0x0 |
| Inf_min > ulong_max : 0x0 |
| Inf_min > double_min : 0x0 |
| Inf_min > double_max : 0x0 |
| Inf_min > float_min : 0x0 |
| Inf_min > float_max : 0x0 |
| Inf_min < zero_min : 0x1 |
| Inf_min < zero_plus : 0x1 |
| Inf_min < zero : 0x1 |
| Inf_min < NaN : 0x0 |
| Inf_min < Inf_plus : 0x1 |
| Inf_min < Inf_min : 0x0 |
| Inf_min < Inf : 0x1 |
| Inf_min < long_max : 0x1 |
| Inf_min < long_min : 0x1 |
| Inf_min < int_max : 0x1 |
| Inf_min < int_min : 0x1 |
| Inf_min < uint_max : 0x1 |
| Inf_min < ulong_max : 0x1 |
| Inf_min < double_min : 0x1 |
| Inf_min < double_max : 0x1 |
| Inf_min < float_min : 0x1 |
| Inf_min < float_max : 0x1 |
| Inf_min >= zero_min : 0x0 |
| Inf_min >= zero_plus : 0x0 |
| Inf_min >= zero : 0x0 |
| Inf_min >= NaN : 0x0 |
| Inf_min >= Inf_plus : 0x0 |
| Inf_min >= Inf_min : 0x1 |
| Inf_min >= Inf : 0x0 |
| Inf_min >= long_max : 0x0 |
| Inf_min >= long_min : 0x0 |
| Inf_min >= int_max : 0x0 |
| Inf_min >= int_min : 0x0 |
| Inf_min >= uint_max : 0x0 |
| Inf_min >= ulong_max : 0x0 |
| Inf_min >= double_min : 0x0 |
| Inf_min >= double_max : 0x0 |
| Inf_min >= float_min : 0x0 |
| Inf_min >= float_max : 0x0 |
| Inf_min <= zero_min : 0x1 |
| Inf_min <= zero_plus : 0x1 |
| Inf_min <= zero : 0x1 |
| Inf_min <= NaN : 0x0 |
| Inf_min <= Inf_plus : 0x1 |
| Inf_min <= Inf_min : 0x1 |
| Inf_min <= Inf : 0x1 |
| Inf_min <= long_max : 0x1 |
| Inf_min <= long_min : 0x1 |
| Inf_min <= int_max : 0x1 |
| Inf_min <= int_min : 0x1 |
| Inf_min <= uint_max : 0x1 |
| Inf_min <= ulong_max : 0x1 |
| Inf_min <= double_min : 0x1 |
| Inf_min <= double_max : 0x1 |
| Inf_min <= float_min : 0x1 |
| Inf_min <= float_max : 0x1 |
| Inf_min == zero_min : 0x0 |
| Inf_min == zero_plus : 0x0 |
| Inf_min == zero : 0x0 |
| Inf_min == NaN : 0x0 |
| Inf_min == Inf_plus : 0x0 |
| Inf_min == Inf_min : 0x1 |
| Inf_min == Inf : 0x0 |
| Inf_min == long_max : 0x0 |
| Inf_min == long_min : 0x0 |
| Inf_min == int_max : 0x0 |
| Inf_min == int_min : 0x0 |
| Inf_min == uint_max : 0x0 |
| Inf_min == ulong_max : 0x0 |
| Inf_min == double_min : 0x0 |
| Inf_min == double_max : 0x0 |
| Inf_min == float_min : 0x0 |
| Inf_min == float_max : 0x0 |
| Inf_min != zero_min : 0x1 |
| Inf_min != zero_plus : 0x1 |
| Inf_min != zero : 0x1 |
| Inf_min != NaN : 0x1 |
| Inf_min != Inf_plus : 0x1 |
| Inf_min != Inf_min : 0x0 |
| Inf_min != Inf : 0x1 |
| Inf_min != long_max : 0x1 |
| Inf_min != long_min : 0x1 |
| Inf_min != int_max : 0x1 |
| Inf_min != int_min : 0x1 |
| Inf_min != uint_max : 0x1 |
| Inf_min != ulong_max : 0x1 |
| Inf_min != double_min : 0x1 |
| Inf_min != double_max : 0x1 |
| Inf_min != float_min : 0x1 |
| Inf_min != float_max : 0x1 |
| Inf_min * Inf_min * zero_min : NaN |
| Inf_min * Inf_min * zero_plus : NaN |
| Inf_min * Inf_min * zero : NaN |
| Inf_min * Inf_min * NaN : NaN |
| Inf_min * Inf_min * Inf_plus : Inf |
| Inf_min * Inf_min * Inf_min : -Inf |
| Inf_min * Inf_min * Inf : Inf |
| Inf_min * Inf_min * long_max : Inf |
| Inf_min * Inf_min * long_min : -Inf |
| Inf_min * Inf_min * int_max : Inf |
| Inf_min * Inf_min * int_min : -Inf |
| Inf_min * Inf_min * uint_max : Inf |
| Inf_min * Inf_min * ulong_max : Inf |
| Inf_min * Inf_min * double_min : Inf |
| Inf_min * Inf_min * double_max : Inf |
| Inf_min * Inf_min * float_min : Inf |
| Inf_min * Inf_min * float_max : Inf |
| Inf / zero_min : -Inf |
| Inf / zero_plus : Inf |
| Inf / zero : Inf |
| Inf / NaN : NaN |
| Inf / Inf_plus : NaN |
| Inf / Inf_min : NaN |
| Inf / Inf : NaN |
| Inf / long_max : Inf |
| Inf / long_min : -Inf |
| Inf / int_max : Inf |
| Inf / int_min : -Inf |
| Inf / uint_max : Inf |
| Inf / ulong_max : Inf |
| Inf / double_min : Inf |
| Inf / double_max : Inf |
| Inf / float_min : Inf |
| Inf / float_max : Inf |
| Inf * zero_min : NaN |
| Inf * zero_plus : NaN |
| Inf * zero : NaN |
| Inf * NaN : NaN |
| Inf * Inf_plus : Inf |
| Inf * Inf_min : -Inf |
| Inf * Inf : Inf |
| Inf * long_max : Inf |
| Inf * long_min : -Inf |
| Inf * int_max : Inf |
| Inf * int_min : -Inf |
| Inf * uint_max : Inf |
| Inf * ulong_max : Inf |
| Inf * double_min : Inf |
| Inf * double_max : Inf |
| Inf * float_min : Inf |
| Inf * float_max : Inf |
| Inf + zero_min : Inf |
| Inf + zero_plus : Inf |
| Inf + zero : Inf |
| Inf + NaN : NaN |
| Inf + Inf_plus : Inf |
| Inf + Inf_min : NaN |
| Inf + Inf : Inf |
| Inf + long_max : Inf |
| Inf + long_min : Inf |
| Inf + int_max : Inf |
| Inf + int_min : Inf |
| Inf + uint_max : Inf |
| Inf + ulong_max : Inf |
| Inf + double_min : Inf |
| Inf + double_max : Inf |
| Inf + float_min : Inf |
| Inf + float_max : Inf |
| Inf - zero_min : Inf |
| Inf - zero_plus : Inf |
| Inf - zero : Inf |
| Inf - NaN : NaN |
| Inf - Inf_plus : NaN |
| Inf - Inf_min : Inf |
| Inf - Inf : NaN |
| Inf - long_max : Inf |
| Inf - long_min : Inf |
| Inf - int_max : Inf |
| Inf - int_min : Inf |
| Inf - uint_max : Inf |
| Inf - ulong_max : Inf |
| Inf - double_min : Inf |
| Inf - double_max : Inf |
| Inf - float_min : Inf |
| Inf - float_max : Inf |
| Inf > zero_min : 0x1 |
| Inf > zero_plus : 0x1 |
| Inf > zero : 0x1 |
| Inf > NaN : 0x0 |
| Inf > Inf_plus : 0x0 |
| Inf > Inf_min : 0x1 |
| Inf > Inf : 0x0 |
| Inf > long_max : 0x1 |
| Inf > long_min : 0x1 |
| Inf > int_max : 0x1 |
| Inf > int_min : 0x1 |
| Inf > uint_max : 0x1 |
| Inf > ulong_max : 0x1 |
| Inf > double_min : 0x1 |
| Inf > double_max : 0x1 |
| Inf > float_min : 0x1 |
| Inf > float_max : 0x1 |
| Inf < zero_min : 0x0 |
| Inf < zero_plus : 0x0 |
| Inf < zero : 0x0 |
| Inf < NaN : 0x0 |
| Inf < Inf_plus : 0x0 |
| Inf < Inf_min : 0x0 |
| Inf < Inf : 0x0 |
| Inf < long_max : 0x0 |
| Inf < long_min : 0x0 |
| Inf < int_max : 0x0 |
| Inf < int_min : 0x0 |
| Inf < uint_max : 0x0 |
| Inf < ulong_max : 0x0 |
| Inf < double_min : 0x0 |
| Inf < double_max : 0x0 |
| Inf < float_min : 0x0 |
| Inf < float_max : 0x0 |
| Inf >= zero_min : 0x1 |
| Inf >= zero_plus : 0x1 |
| Inf >= zero : 0x1 |
| Inf >= NaN : 0x0 |
| Inf >= Inf_plus : 0x1 |
| Inf >= Inf_min : 0x1 |
| Inf >= Inf : 0x1 |
| Inf >= long_max : 0x1 |
| Inf >= long_min : 0x1 |
| Inf >= int_max : 0x1 |
| Inf >= int_min : 0x1 |
| Inf >= uint_max : 0x1 |
| Inf >= ulong_max : 0x1 |
| Inf >= double_min : 0x1 |
| Inf >= double_max : 0x1 |
| Inf >= float_min : 0x1 |
| Inf >= float_max : 0x1 |
| Inf <= zero_min : 0x0 |
| Inf <= zero_plus : 0x0 |
| Inf <= zero : 0x0 |
| Inf <= NaN : 0x0 |
| Inf <= Inf_plus : 0x1 |
| Inf <= Inf_min : 0x0 |
| Inf <= Inf : 0x1 |
| Inf <= long_max : 0x0 |
| Inf <= long_min : 0x0 |
| Inf <= int_max : 0x0 |
| Inf <= int_min : 0x0 |
| Inf <= uint_max : 0x0 |
| Inf <= ulong_max : 0x0 |
| Inf <= double_min : 0x0 |
| Inf <= double_max : 0x0 |
| Inf <= float_min : 0x0 |
| Inf <= float_max : 0x0 |
| Inf == zero_min : 0x0 |
| Inf == zero_plus : 0x0 |
| Inf == zero : 0x0 |
| Inf == NaN : 0x0 |
| Inf == Inf_plus : 0x1 |
| Inf == Inf_min : 0x0 |
| Inf == Inf : 0x1 |
| Inf == long_max : 0x0 |
| Inf == long_min : 0x0 |
| Inf == int_max : 0x0 |
| Inf == int_min : 0x0 |
| Inf == uint_max : 0x0 |
| Inf == ulong_max : 0x0 |
| Inf == double_min : 0x0 |
| Inf == double_max : 0x0 |
| Inf == float_min : 0x0 |
| Inf == float_max : 0x0 |
| Inf != zero_min : 0x1 |
| Inf != zero_plus : 0x1 |
| Inf != zero : 0x1 |
| Inf != NaN : 0x1 |
| Inf != Inf_plus : 0x0 |
| Inf != Inf_min : 0x1 |
| Inf != Inf : 0x0 |
| Inf != long_max : 0x1 |
| Inf != long_min : 0x1 |
| Inf != int_max : 0x1 |
| Inf != int_min : 0x1 |
| Inf != uint_max : 0x1 |
| Inf != ulong_max : 0x1 |
| Inf != double_min : 0x1 |
| Inf != double_max : 0x1 |
| Inf != float_min : 0x1 |
| Inf != float_max : 0x1 |
| Inf * Inf * zero_min : NaN |
| Inf * Inf * zero_plus : NaN |
| Inf * Inf * zero : NaN |
| Inf * Inf * NaN : NaN |
| Inf * Inf * Inf_plus : Inf |
| Inf * Inf * Inf_min : -Inf |
| Inf * Inf * Inf : Inf |
| Inf * Inf * long_max : Inf |
| Inf * Inf * long_min : -Inf |
| Inf * Inf * int_max : Inf |
| Inf * Inf * int_min : -Inf |
| Inf * Inf * uint_max : Inf |
| Inf * Inf * ulong_max : Inf |
| Inf * Inf * double_min : Inf |
| Inf * Inf * double_max : Inf |
| Inf * Inf * float_min : Inf |
| Inf * Inf * float_max : Inf |
| ****************** limits fx_float_long |
| zero_min : 0x0 |
| zero_plus : 0x0 |
| zero : 0x0 |
| NaN : NaN |
| Inf_plus : Inf |
| Inf_min : -Inf |
| Inf : Inf |
| long_max : 0x7fffffffffffffff |
| long_min : 0x8e+15 |
| int_max : 0x7fffffff |
| int_min : 0x8e+7 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffffffffffff |
| double_min : 0x.4e-255 |
| double_max : 0x0fffffffffffff8e+242 |
| float_min : 0x.4e-31 |
| float_max : 0x0ffffffe+26 |
| long_max / zero_min : -Inf |
| long_max / zero_plus : Inf |
| long_max / zero : Inf |
| long_max / NaN : NaN |
| long_max / Inf_plus : 0x0 |
| long_max / Inf_min : 0x0 |
| long_max / Inf : 0x0 |
| long_max / long_max : 0x1 |
| long_max / long_min : 0xf.0000000000000002 |
| long_max / int_max : 0x100000002.00000002 |
| long_max / int_min : 0xf00000000.00000002 |
| long_max / uint_max : 0x080000000.7fffffff |
| long_max / ulong_max : 0x.7fffffffffffffff |
| long_max / double_min : 0x1fffffffffffffffce+255 |
| long_max / double_max : 0x.080000000000003ffe-239 |
| long_max / float_min : 0x1fffffffffffffffce+31 |
| long_max / float_max : 0x.08000008000007fffe-15 |
| long_max * zero_min : 0x0 |
| long_max * zero_plus : 0x0 |
| long_max * zero : 0x0 |
| long_max * NaN : NaN |
| long_max * Inf_plus : Inf |
| long_max * Inf_min : -Inf |
| long_max * Inf : Inf |
| long_max * long_max : 0x3fffffffffffffff0000000000000001 |
| long_max * long_min : 0xc0000000000000008e+15 |
| long_max * int_max : 0x3fffffff7fffffff80000001 |
| long_max * int_min : 0xc0000000000000008e+7 |
| long_max * uint_max : 0x7fffffff7fffffff00000001 |
| long_max * ulong_max : 0x7ffffffffffffffe8000000000000001 |
| long_max * double_min : 0x.1fffffffffffffffce-239 |
| long_max * double_max : 0x7ffffffffffffbff00000000000008e+242 |
| long_max * float_min : 0x.1fffffffffffffffce-15 |
| long_max * float_max : 0x7fffff7fffffffff000001e+26 |
| long_max + zero_min : 0x7fffffffffffffff |
| long_max + zero_plus : 0x7fffffffffffffff |
| long_max + zero : 0x7fffffffffffffff |
| long_max + NaN : NaN |
| long_max + Inf_plus : Inf |
| long_max + Inf_min : -Inf |
| long_max + Inf : Inf |
| long_max + long_max : 0x0fffffffffffffffe |
| long_max + long_min : 0xf |
| long_max + int_max : 0x0800000007ffffffe |
| long_max + int_min : 0x7fffffff7fffffff |
| long_max + uint_max : 0x080000000fffffffe |
| long_max + ulong_max : 0x17ffffffffffffffe |
| long_max + double_min : 0x7fffffffffffffff |
| long_max + double_max : 0x0fffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007fffffffffffffff |
| long_max + float_min : 0x7fffffffffffffff.00000000000000000000000000000004 |
| long_max + float_max : 0x0ffffff00000000007fffffffffffffff |
| long_max - zero_min : 0x7fffffffffffffff |
| long_max - zero_plus : 0x7fffffffffffffff |
| long_max - zero : 0x7fffffffffffffff |
| long_max - NaN : NaN |
| long_max - Inf_plus : -Inf |
| long_max - Inf_min : Inf |
| long_max - Inf : -Inf |
| long_max - long_max : 0x0 |
| long_max - long_min : 0x0ffffffffffffffff |
| long_max - int_max : 0x7fffffff8e+7 |
| long_max - int_min : 0x0800000007fffffff |
| long_max - uint_max : 0x7fffffffe+8 |
| long_max - ulong_max : 0x8e+15 |
| long_max - double_min : 0x7fffffffffffffff |
| long_max - double_max : 0xf0000000000000800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007fffffffffffffff |
| long_max - float_min : 0x7ffffffffffffffe.fffffffffffffffffffffffffffffffc |
| long_max - float_max : 0xf00000100000000007fffffffffffffff |
| long_max > zero_min : 0x1 |
| long_max > zero_plus : 0x1 |
| long_max > zero : 0x1 |
| long_max > NaN : 0x0 |
| long_max > Inf_plus : 0x0 |
| long_max > Inf_min : 0x1 |
| long_max > Inf : 0x0 |
| long_max > long_max : 0x0 |
| long_max > long_min : 0x1 |
| long_max > int_max : 0x1 |
| long_max > int_min : 0x1 |
| long_max > uint_max : 0x1 |
| long_max > ulong_max : 0x0 |
| long_max > double_min : 0x1 |
| long_max > double_max : 0x0 |
| long_max > float_min : 0x1 |
| long_max > float_max : 0x0 |
| long_max < zero_min : 0x0 |
| long_max < zero_plus : 0x0 |
| long_max < zero : 0x0 |
| long_max < NaN : 0x0 |
| long_max < Inf_plus : 0x1 |
| long_max < Inf_min : 0x0 |
| long_max < Inf : 0x1 |
| long_max < long_max : 0x0 |
| long_max < long_min : 0x0 |
| long_max < int_max : 0x0 |
| long_max < int_min : 0x0 |
| long_max < uint_max : 0x0 |
| long_max < ulong_max : 0x1 |
| long_max < double_min : 0x0 |
| long_max < double_max : 0x1 |
| long_max < float_min : 0x0 |
| long_max < float_max : 0x1 |
| long_max >= zero_min : 0x1 |
| long_max >= zero_plus : 0x1 |
| long_max >= zero : 0x1 |
| long_max >= NaN : 0x0 |
| long_max >= Inf_plus : 0x0 |
| long_max >= Inf_min : 0x1 |
| long_max >= Inf : 0x0 |
| long_max >= long_max : 0x1 |
| long_max >= long_min : 0x1 |
| long_max >= int_max : 0x1 |
| long_max >= int_min : 0x1 |
| long_max >= uint_max : 0x1 |
| long_max >= ulong_max : 0x0 |
| long_max >= double_min : 0x1 |
| long_max >= double_max : 0x0 |
| long_max >= float_min : 0x1 |
| long_max >= float_max : 0x0 |
| long_max <= zero_min : 0x0 |
| long_max <= zero_plus : 0x0 |
| long_max <= zero : 0x0 |
| long_max <= NaN : 0x0 |
| long_max <= Inf_plus : 0x1 |
| long_max <= Inf_min : 0x0 |
| long_max <= Inf : 0x1 |
| long_max <= long_max : 0x1 |
| long_max <= long_min : 0x0 |
| long_max <= int_max : 0x0 |
| long_max <= int_min : 0x0 |
| long_max <= uint_max : 0x0 |
| long_max <= ulong_max : 0x1 |
| long_max <= double_min : 0x0 |
| long_max <= double_max : 0x1 |
| long_max <= float_min : 0x0 |
| long_max <= float_max : 0x1 |
| long_max == zero_min : 0x0 |
| long_max == zero_plus : 0x0 |
| long_max == zero : 0x0 |
| long_max == NaN : 0x0 |
| long_max == Inf_plus : 0x0 |
| long_max == Inf_min : 0x0 |
| long_max == Inf : 0x0 |
| long_max == long_max : 0x1 |
| long_max == long_min : 0x0 |
| long_max == int_max : 0x0 |
| long_max == int_min : 0x0 |
| long_max == uint_max : 0x0 |
| long_max == ulong_max : 0x0 |
| long_max == double_min : 0x0 |
| long_max == double_max : 0x0 |
| long_max == float_min : 0x0 |
| long_max == float_max : 0x0 |
| long_max != zero_min : 0x1 |
| long_max != zero_plus : 0x1 |
| long_max != zero : 0x1 |
| long_max != NaN : 0x1 |
| long_max != Inf_plus : 0x1 |
| long_max != Inf_min : 0x1 |
| long_max != Inf : 0x1 |
| long_max != long_max : 0x0 |
| long_max != long_min : 0x1 |
| long_max != int_max : 0x1 |
| long_max != int_min : 0x1 |
| long_max != uint_max : 0x1 |
| long_max != ulong_max : 0x1 |
| long_max != double_min : 0x1 |
| long_max != double_max : 0x1 |
| long_max != float_min : 0x1 |
| long_max != float_max : 0x1 |
| long_max * long_max * zero_min : 0x0 |
| long_max * long_max * zero_plus : 0x0 |
| long_max * long_max * zero : 0x0 |
| long_max * long_max * NaN : NaN |
| long_max * long_max * Inf_plus : Inf |
| long_max * long_max * Inf_min : -Inf |
| long_max * long_max * Inf : Inf |
| long_max * long_max * long_max : 0x1fffffffffffffff40000000000000017fffffffffffffff |
| long_max * long_max * long_min : 0xe0000000000000007fffffffffffffff8e+15 |
| long_max * long_max * int_max : 0x1fffffffbfffffff80000001000000007fffffff |
| long_max * long_max * int_min : 0xe0000000000000007fffffffffffffff8e+7 |
| long_max * long_max * uint_max : 0x3fffffffbfffffff0000000100000000ffffffff |
| long_max * long_max * ulong_max : 0x3ffffffffffffffec000000000000001ffffffffffffffff |
| long_max * long_max * double_min : 0x.0fffffffffffffffc0000000000000004e-223 |
| long_max * long_max * double_max : 0x3ffffffffffffdff0000000000000800fffffffffffff8e+242 |
| long_max * long_max * float_min : 0x0.fffffffffffffffc0000000000000004 |
| long_max * long_max * float_max : 0x3fffffbfffffffff0000010000000000ffffffe+26 |
| long_min / zero_min : Inf |
| long_min / zero_plus : -Inf |
| long_min / zero : -Inf |
| long_min / NaN : NaN |
| long_min / Inf_plus : 0x0 |
| long_min / Inf_min : 0x0 |
| long_min / Inf : 0x0 |
| long_min / long_max : 0xe.fffffffffffffffe |
| long_min / long_min : 0x1 |
| long_min / int_max : 0xefffffffd.fffffffc |
| long_min / int_min : 0x1e+8 |
| long_min / uint_max : 0xf7fffffff.8 |
| long_min / ulong_max : 0x.8 |
| long_min / double_min : 0xee+271 |
| long_min / double_max : 0x.f7ffffffffffffce-239 |
| long_min / float_min : 0xee+47 |
| long_min / float_max : 0x.f7fffff7fffff8e-15 |
| long_min * zero_min : 0x0 |
| long_min * zero_plus : 0x0 |
| long_min * zero : 0x0 |
| long_min * NaN : NaN |
| long_min * Inf_plus : -Inf |
| long_min * Inf_min : Inf |
| long_min * Inf : -Inf |
| long_min * long_max : 0xc0000000000000008e+15 |
| long_min * long_min : 0x4e+31 |
| long_min * int_max : 0xc00000008e+15 |
| long_min * int_min : 0x4e+23 |
| long_min * uint_max : 0x800000008e+15 |
| long_min * ulong_max : 0x80000000000000008e+15 |
| long_min * double_min : 0x.ee-239 |
| long_min * double_max : 0x80000000000004e+258 |
| long_min * float_min : 0x.ee-15 |
| long_min * float_max : 0x8000008e+41 |
| long_min + zero_min : 0x8e+15 |
| long_min + zero_plus : 0x8e+15 |
| long_min + zero : 0x8e+15 |
| long_min + NaN : NaN |
| long_min + Inf_plus : Inf |
| long_min + Inf_min : -Inf |
| long_min + Inf : Inf |
| long_min + long_max : 0xf |
| long_min + long_min : 0xfe+16 |
| long_min + int_max : 0x800000007fffffff |
| long_min + int_min : 0xf7fffffff8e+7 |
| long_min + uint_max : 0x80000000ffffffff |
| long_min + ulong_max : 0x7fffffffffffffff |
| long_min + double_min : 0x8e+15 |
| long_min + double_max : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8e+15 |
| long_min + float_min : 0x8000000000000000.00000000000000000000000000000004 |
| long_min + float_max : 0x0fffffeffffffffff8e+15 |
| long_min - zero_min : 0x8e+15 |
| long_min - zero_plus : 0x8e+15 |
| long_min - zero : 0x8e+15 |
| long_min - NaN : NaN |
| long_min - Inf_plus : -Inf |
| long_min - Inf_min : Inf |
| long_min - Inf : -Inf |
| long_min - long_max : 0xf0000000000000001 |
| long_min - long_min : 0x0 |
| long_min - int_max : 0xf7fffffff80000001 |
| long_min - int_min : 0x800000008e+7 |
| long_min - uint_max : 0xf7fffffff00000001 |
| long_min - ulong_max : 0xe8000000000000001 |
| long_min - double_min : 0x8e+15 |
| long_min - double_max : 0xf00000000000007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8e+15 |
| long_min - float_min : 0xf7fffffffffffffff.fffffffffffffffffffffffffffffffc |
| long_min - float_max : 0xf000000ffffffffff8e+15 |
| long_min > zero_min : 0x0 |
| long_min > zero_plus : 0x0 |
| long_min > zero : 0x0 |
| long_min > NaN : 0x0 |
| long_min > Inf_plus : 0x0 |
| long_min > Inf_min : 0x1 |
| long_min > Inf : 0x0 |
| long_min > long_max : 0x0 |
| long_min > long_min : 0x0 |
| long_min > int_max : 0x0 |
| long_min > int_min : 0x0 |
| long_min > uint_max : 0x0 |
| long_min > ulong_max : 0x0 |
| long_min > double_min : 0x0 |
| long_min > double_max : 0x0 |
| long_min > float_min : 0x0 |
| long_min > float_max : 0x0 |
| long_min < zero_min : 0x1 |
| long_min < zero_plus : 0x1 |
| long_min < zero : 0x1 |
| long_min < NaN : 0x0 |
| long_min < Inf_plus : 0x1 |
| long_min < Inf_min : 0x0 |
| long_min < Inf : 0x1 |
| long_min < long_max : 0x1 |
| long_min < long_min : 0x0 |
| long_min < int_max : 0x1 |
| long_min < int_min : 0x1 |
| long_min < uint_max : 0x1 |
| long_min < ulong_max : 0x1 |
| long_min < double_min : 0x1 |
| long_min < double_max : 0x1 |
| long_min < float_min : 0x1 |
| long_min < float_max : 0x1 |
| long_min >= zero_min : 0x0 |
| long_min >= zero_plus : 0x0 |
| long_min >= zero : 0x0 |
| long_min >= NaN : 0x0 |
| long_min >= Inf_plus : 0x0 |
| long_min >= Inf_min : 0x1 |
| long_min >= Inf : 0x0 |
| long_min >= long_max : 0x0 |
| long_min >= long_min : 0x1 |
| long_min >= int_max : 0x0 |
| long_min >= int_min : 0x0 |
| long_min >= uint_max : 0x0 |
| long_min >= ulong_max : 0x0 |
| long_min >= double_min : 0x0 |
| long_min >= double_max : 0x0 |
| long_min >= float_min : 0x0 |
| long_min >= float_max : 0x0 |
| long_min <= zero_min : 0x1 |
| long_min <= zero_plus : 0x1 |
| long_min <= zero : 0x1 |
| long_min <= NaN : 0x0 |
| long_min <= Inf_plus : 0x1 |
| long_min <= Inf_min : 0x0 |
| long_min <= Inf : 0x1 |
| long_min <= long_max : 0x1 |
| long_min <= long_min : 0x1 |
| long_min <= int_max : 0x1 |
| long_min <= int_min : 0x1 |
| long_min <= uint_max : 0x1 |
| long_min <= ulong_max : 0x1 |
| long_min <= double_min : 0x1 |
| long_min <= double_max : 0x1 |
| long_min <= float_min : 0x1 |
| long_min <= float_max : 0x1 |
| long_min == zero_min : 0x0 |
| long_min == zero_plus : 0x0 |
| long_min == zero : 0x0 |
| long_min == NaN : 0x0 |
| long_min == Inf_plus : 0x0 |
| long_min == Inf_min : 0x0 |
| long_min == Inf : 0x0 |
| long_min == long_max : 0x0 |
| long_min == long_min : 0x1 |
| long_min == int_max : 0x0 |
| long_min == int_min : 0x0 |
| long_min == uint_max : 0x0 |
| long_min == ulong_max : 0x0 |
| long_min == double_min : 0x0 |
| long_min == double_max : 0x0 |
| long_min == float_min : 0x0 |
| long_min == float_max : 0x0 |
| long_min != zero_min : 0x1 |
| long_min != zero_plus : 0x1 |
| long_min != zero : 0x1 |
| long_min != NaN : 0x1 |
| long_min != Inf_plus : 0x1 |
| long_min != Inf_min : 0x1 |
| long_min != Inf : 0x1 |
| long_min != long_max : 0x1 |
| long_min != long_min : 0x0 |
| long_min != int_max : 0x1 |
| long_min != int_min : 0x1 |
| long_min != uint_max : 0x1 |
| long_min != ulong_max : 0x1 |
| long_min != double_min : 0x1 |
| long_min != double_max : 0x1 |
| long_min != float_min : 0x1 |
| long_min != float_max : 0x1 |
| long_min * long_min * zero_min : 0x0 |
| long_min * long_min * zero_plus : 0x0 |
| long_min * long_min * zero : 0x0 |
| long_min * long_min * NaN : NaN |
| long_min * long_min * Inf_plus : Inf |
| long_min * long_min * Inf_min : -Inf |
| long_min * long_min * Inf : Inf |
| long_min * long_min * long_max : 0x1fffffffffffffffce+31 |
| long_min * long_min * long_min : 0xee+47 |
| long_min * long_min * int_max : 0x1fffffffce+31 |
| long_min * long_min * int_min : 0xee+39 |
| long_min * long_min * uint_max : 0x3fffffffce+31 |
| long_min * long_min * ulong_max : 0x3fffffffffffffffce+31 |
| long_min * long_min * double_min : 0x.1e-223 |
| long_min * long_min * double_max : 0x3ffffffffffffee+274 |
| long_min * long_min * float_min : 0x1 |
| long_min * long_min * float_max : 0x3fffffce+57 |
| int_max / zero_min : -Inf |
| int_max / zero_plus : Inf |
| int_max / zero : Inf |
| int_max / NaN : NaN |
| int_max / Inf_plus : 0x0 |
| int_max / Inf_min : 0x0 |
| int_max / Inf : 0x0 |
| int_max / long_max : 0x.0fffffffe00000001e-7 |
| int_max / long_min : 0x.f00000002e-7 |
| int_max / int_max : 0x1 |
| int_max / int_min : 0xf.00000002 |
| int_max / uint_max : 0x.7fffffff7fffffff |
| int_max / ulong_max : 0x.7fffffffe-8 |
| int_max / double_min : 0x1fffffffce+255 |
| int_max / double_max : 0x.7fffffff000004e-248 |
| int_max / float_min : 0x1fffffffce+31 |
| int_max / float_max : 0x.08000007f00007fe-23 |
| int_max * zero_min : 0x0 |
| int_max * zero_plus : 0x0 |
| int_max * zero : 0x0 |
| int_max * NaN : NaN |
| int_max * Inf_plus : Inf |
| int_max * Inf_min : -Inf |
| int_max * Inf : Inf |
| int_max * long_max : 0x3fffffff7fffffff80000001 |
| int_max * long_min : 0xc00000008e+15 |
| int_max * int_max : 0x3fffffff00000001 |
| int_max * int_min : 0xc00000008e+7 |
| int_max * uint_max : 0x7ffffffe80000001 |
| int_max * ulong_max : 0x7ffffffeffffffff80000001 |
| int_max * double_min : 0x.1fffffffce-247 |
| int_max * double_max : 0x7ffffffefffffc00000008e+242 |
| int_max * float_min : 0x.1fffffffce-23 |
| int_max * float_max : 0x7fffff7f000001e+26 |
| int_max + zero_min : 0x7fffffff |
| int_max + zero_plus : 0x7fffffff |
| int_max + zero : 0x7fffffff |
| int_max + NaN : NaN |
| int_max + Inf_plus : Inf |
| int_max + Inf_min : -Inf |
| int_max + Inf : Inf |
| int_max + long_max : 0x0800000007ffffffe |
| int_max + long_min : 0x800000007fffffff |
| int_max + int_max : 0x0fffffffe |
| int_max + int_min : 0xf |
| int_max + uint_max : 0x17ffffffe |
| int_max + ulong_max : 0x1000000007ffffffe |
| int_max + double_min : 0x7fffffff |
| int_max + double_max : 0x0fffffffffffff80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007fffffff |
| int_max + float_min : 0x7fffffff.00000000000000000000000000000004 |
| int_max + float_max : 0x0ffffff0000000000000000007fffffff |
| int_max - zero_min : 0x7fffffff |
| int_max - zero_plus : 0x7fffffff |
| int_max - zero : 0x7fffffff |
| int_max - NaN : NaN |
| int_max - Inf_plus : -Inf |
| int_max - Inf_min : Inf |
| int_max - Inf : -Inf |
| int_max - long_max : 0x800000008e+7 |
| int_max - long_min : 0x0800000007fffffff |
| int_max - int_max : 0x0 |
| int_max - int_min : 0x0ffffffff |
| int_max - uint_max : 0x8e+7 |
| int_max - ulong_max : 0xf000000008e+7 |
| int_max - double_min : 0x7fffffff |
| int_max - double_max : 0xf000000000000080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007fffffff |
| int_max - float_min : 0x7ffffffe.fffffffffffffffffffffffffffffffc |
| int_max - float_max : 0xf0000010000000000000000007fffffff |
| int_max > zero_min : 0x1 |
| int_max > zero_plus : 0x1 |
| int_max > zero : 0x1 |
| int_max > NaN : 0x0 |
| int_max > Inf_plus : 0x0 |
| int_max > Inf_min : 0x1 |
| int_max > Inf : 0x0 |
| int_max > long_max : 0x0 |
| int_max > long_min : 0x1 |
| int_max > int_max : 0x0 |
| int_max > int_min : 0x1 |
| int_max > uint_max : 0x0 |
| int_max > ulong_max : 0x0 |
| int_max > double_min : 0x1 |
| int_max > double_max : 0x0 |
| int_max > float_min : 0x1 |
| int_max > float_max : 0x0 |
| int_max < zero_min : 0x0 |
| int_max < zero_plus : 0x0 |
| int_max < zero : 0x0 |
| int_max < NaN : 0x0 |
| int_max < Inf_plus : 0x1 |
| int_max < Inf_min : 0x0 |
| int_max < Inf : 0x1 |
| int_max < long_max : 0x1 |
| int_max < long_min : 0x0 |
| int_max < int_max : 0x0 |
| int_max < int_min : 0x0 |
| int_max < uint_max : 0x1 |
| int_max < ulong_max : 0x1 |
| int_max < double_min : 0x0 |
| int_max < double_max : 0x1 |
| int_max < float_min : 0x0 |
| int_max < float_max : 0x1 |
| int_max >= zero_min : 0x1 |
| int_max >= zero_plus : 0x1 |
| int_max >= zero : 0x1 |
| int_max >= NaN : 0x0 |
| int_max >= Inf_plus : 0x0 |
| int_max >= Inf_min : 0x1 |
| int_max >= Inf : 0x0 |
| int_max >= long_max : 0x0 |
| int_max >= long_min : 0x1 |
| int_max >= int_max : 0x1 |
| int_max >= int_min : 0x1 |
| int_max >= uint_max : 0x0 |
| int_max >= ulong_max : 0x0 |
| int_max >= double_min : 0x1 |
| int_max >= double_max : 0x0 |
| int_max >= float_min : 0x1 |
| int_max >= float_max : 0x0 |
| int_max <= zero_min : 0x0 |
| int_max <= zero_plus : 0x0 |
| int_max <= zero : 0x0 |
| int_max <= NaN : 0x0 |
| int_max <= Inf_plus : 0x1 |
| int_max <= Inf_min : 0x0 |
| int_max <= Inf : 0x1 |
| int_max <= long_max : 0x1 |
| int_max <= long_min : 0x0 |
| int_max <= int_max : 0x1 |
| int_max <= int_min : 0x0 |
| int_max <= uint_max : 0x1 |
| int_max <= ulong_max : 0x1 |
| int_max <= double_min : 0x0 |
| int_max <= double_max : 0x1 |
| int_max <= float_min : 0x0 |
| int_max <= float_max : 0x1 |
| int_max == zero_min : 0x0 |
| int_max == zero_plus : 0x0 |
| int_max == zero : 0x0 |
| int_max == NaN : 0x0 |
| int_max == Inf_plus : 0x0 |
| int_max == Inf_min : 0x0 |
| int_max == Inf : 0x0 |
| int_max == long_max : 0x0 |
| int_max == long_min : 0x0 |
| int_max == int_max : 0x1 |
| int_max == int_min : 0x0 |
| int_max == uint_max : 0x0 |
| int_max == ulong_max : 0x0 |
| int_max == double_min : 0x0 |
| int_max == double_max : 0x0 |
| int_max == float_min : 0x0 |
| int_max == float_max : 0x0 |
| int_max != zero_min : 0x1 |
| int_max != zero_plus : 0x1 |
| int_max != zero : 0x1 |
| int_max != NaN : 0x1 |
| int_max != Inf_plus : 0x1 |
| int_max != Inf_min : 0x1 |
| int_max != Inf : 0x1 |
| int_max != long_max : 0x1 |
| int_max != long_min : 0x1 |
| int_max != int_max : 0x0 |
| int_max != int_min : 0x1 |
| int_max != uint_max : 0x1 |
| int_max != ulong_max : 0x1 |
| int_max != double_min : 0x1 |
| int_max != double_max : 0x1 |
| int_max != float_min : 0x1 |
| int_max != float_max : 0x1 |
| int_max * int_max * zero_min : 0x0 |
| int_max * int_max * zero_plus : 0x0 |
| int_max * int_max * zero : 0x0 |
| int_max * int_max * NaN : NaN |
| int_max * int_max * Inf_plus : Inf |
| int_max * int_max * Inf_min : -Inf |
| int_max * int_max * Inf : Inf |
| int_max * int_max * long_max : 0x1fffffff8000000040000000ffffffff |
| int_max * int_max * long_min : 0xe00000007fffffff8e+15 |
| int_max * int_max * int_max : 0x1fffffff400000017fffffff |
| int_max * int_max * int_min : 0xe00000007fffffff8e+7 |
| int_max * int_max * uint_max : 0x3ffffffec0000001ffffffff |
| int_max * int_max * ulong_max : 0x3fffffff00000000c0000000ffffffff |
| int_max * int_max * double_min : 0x.0fffffffc00000004e-239 |
| int_max * int_max * double_max : 0x3ffffffefffffe01000007fffffff8e+242 |
| int_max * int_max * float_min : 0x.0fffffffc00000004e-15 |
| int_max * int_max * float_max : 0x3fffffbf00000100ffffffe+26 |
| int_min / zero_min : Inf |
| int_min / zero_plus : -Inf |
| int_min / zero : -Inf |
| int_min / NaN : NaN |
| int_min / Inf_plus : 0x0 |
| int_min / Inf_min : 0x0 |
| int_min / Inf : 0x0 |
| int_min / long_max : 0x.efffffffffffffffee-7 |
| int_min / long_min : 0x.1e-7 |
| int_min / int_max : 0xe.fffffffdfffffffc |
| int_min / int_min : 0x1 |
| int_min / uint_max : 0xf.7fffffff8 |
| int_min / ulong_max : 0x.8e-8 |
| int_min / double_min : 0xee+263 |
| int_min / double_max : 0x.f7ffffffffffffce-247 |
| int_min / float_min : 0xee+39 |
| int_min / float_max : 0x.f7fffff7fffff8e-23 |
| int_min * zero_min : 0x0 |
| int_min * zero_plus : 0x0 |
| int_min * zero : 0x0 |
| int_min * NaN : NaN |
| int_min * Inf_plus : -Inf |
| int_min * Inf_min : Inf |
| int_min * Inf : -Inf |
| int_min * long_max : 0xc0000000000000008e+7 |
| int_min * long_min : 0x4e+23 |
| int_min * int_max : 0xc00000008e+7 |
| int_min * int_min : 0x4e+15 |
| int_min * uint_max : 0x800000008e+7 |
| int_min * ulong_max : 0x80000000000000008e+7 |
| int_min * double_min : 0x.ee-247 |
| int_min * double_max : 0x80000000000004e+250 |
| int_min * float_min : 0x.ee-23 |
| int_min * float_max : 0x8000008e+33 |
| int_min + zero_min : 0x8e+7 |
| int_min + zero_plus : 0x8e+7 |
| int_min + zero : 0x8e+7 |
| int_min + NaN : NaN |
| int_min + Inf_plus : Inf |
| int_min + Inf_min : -Inf |
| int_min + Inf : Inf |
| int_min + long_max : 0x7fffffff7fffffff |
| int_min + long_min : 0xf7fffffff8e+7 |
| int_min + int_max : 0xf |
| int_min + int_min : 0xfe+8 |
| int_min + uint_max : 0x7fffffff |
| int_min + ulong_max : 0x0ffffffff7fffffff |
| int_min + double_min : 0x8e+7 |
| int_min + double_max : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8e+7 |
| int_min + float_min : 0x80000000.00000000000000000000000000000004 |
| int_min + float_max : 0x0fffffeffffffffffffffffff8e+7 |
| int_min - zero_min : 0x8e+7 |
| int_min - zero_plus : 0x8e+7 |
| int_min - zero : 0x8e+7 |
| int_min - NaN : NaN |
| int_min - Inf_plus : -Inf |
| int_min - Inf_min : Inf |
| int_min - Inf : -Inf |
| int_min - long_max : 0xf7fffffff80000001 |
| int_min - long_min : 0x7fffffff8e+7 |
| int_min - int_max : 0xf00000001 |
| int_min - int_min : 0x0 |
| int_min - uint_max : 0xe80000001 |
| int_min - ulong_max : 0xeffffffff80000001 |
| int_min - double_min : 0x8e+7 |
| int_min - double_max : 0xf00000000000007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8e+7 |
| int_min - float_min : 0xf7fffffff.fffffffffffffffffffffffffffffffc |
| int_min - float_max : 0xf000000ffffffffffffffffff8e+7 |
| int_min > zero_min : 0x0 |
| int_min > zero_plus : 0x0 |
| int_min > zero : 0x0 |
| int_min > NaN : 0x0 |
| int_min > Inf_plus : 0x0 |
| int_min > Inf_min : 0x1 |
| int_min > Inf : 0x0 |
| int_min > long_max : 0x0 |
| int_min > long_min : 0x1 |
| int_min > int_max : 0x0 |
| int_min > int_min : 0x0 |
| int_min > uint_max : 0x0 |
| int_min > ulong_max : 0x0 |
| int_min > double_min : 0x0 |
| int_min > double_max : 0x0 |
| int_min > float_min : 0x0 |
| int_min > float_max : 0x0 |
| int_min < zero_min : 0x1 |
| int_min < zero_plus : 0x1 |
| int_min < zero : 0x1 |
| int_min < NaN : 0x0 |
| int_min < Inf_plus : 0x1 |
| int_min < Inf_min : 0x0 |
| int_min < Inf : 0x1 |
| int_min < long_max : 0x1 |
| int_min < long_min : 0x0 |
| int_min < int_max : 0x1 |
| int_min < int_min : 0x0 |
| int_min < uint_max : 0x1 |
| int_min < ulong_max : 0x1 |
| int_min < double_min : 0x1 |
| int_min < double_max : 0x1 |
| int_min < float_min : 0x1 |
| int_min < float_max : 0x1 |
| int_min >= zero_min : 0x0 |
| int_min >= zero_plus : 0x0 |
| int_min >= zero : 0x0 |
| int_min >= NaN : 0x0 |
| int_min >= Inf_plus : 0x0 |
| int_min >= Inf_min : 0x1 |
| int_min >= Inf : 0x0 |
| int_min >= long_max : 0x0 |
| int_min >= long_min : 0x1 |
| int_min >= int_max : 0x0 |
| int_min >= int_min : 0x1 |
| int_min >= uint_max : 0x0 |
| int_min >= ulong_max : 0x0 |
| int_min >= double_min : 0x0 |
| int_min >= double_max : 0x0 |
| int_min >= float_min : 0x0 |
| int_min >= float_max : 0x0 |
| int_min <= zero_min : 0x1 |
| int_min <= zero_plus : 0x1 |
| int_min <= zero : 0x1 |
| int_min <= NaN : 0x0 |
| int_min <= Inf_plus : 0x1 |
| int_min <= Inf_min : 0x0 |
| int_min <= Inf : 0x1 |
| int_min <= long_max : 0x1 |
| int_min <= long_min : 0x0 |
| int_min <= int_max : 0x1 |
| int_min <= int_min : 0x1 |
| int_min <= uint_max : 0x1 |
| int_min <= ulong_max : 0x1 |
| int_min <= double_min : 0x1 |
| int_min <= double_max : 0x1 |
| int_min <= float_min : 0x1 |
| int_min <= float_max : 0x1 |
| int_min == zero_min : 0x0 |
| int_min == zero_plus : 0x0 |
| int_min == zero : 0x0 |
| int_min == NaN : 0x0 |
| int_min == Inf_plus : 0x0 |
| int_min == Inf_min : 0x0 |
| int_min == Inf : 0x0 |
| int_min == long_max : 0x0 |
| int_min == long_min : 0x0 |
| int_min == int_max : 0x0 |
| int_min == int_min : 0x1 |
| int_min == uint_max : 0x0 |
| int_min == ulong_max : 0x0 |
| int_min == double_min : 0x0 |
| int_min == double_max : 0x0 |
| int_min == float_min : 0x0 |
| int_min == float_max : 0x0 |
| int_min != zero_min : 0x1 |
| int_min != zero_plus : 0x1 |
| int_min != zero : 0x1 |
| int_min != NaN : 0x1 |
| int_min != Inf_plus : 0x1 |
| int_min != Inf_min : 0x1 |
| int_min != Inf : 0x1 |
| int_min != long_max : 0x1 |
| int_min != long_min : 0x1 |
| int_min != int_max : 0x1 |
| int_min != int_min : 0x0 |
| int_min != uint_max : 0x1 |
| int_min != ulong_max : 0x1 |
| int_min != double_min : 0x1 |
| int_min != double_max : 0x1 |
| int_min != float_min : 0x1 |
| int_min != float_max : 0x1 |
| int_min * int_min * zero_min : 0x0 |
| int_min * int_min * zero_plus : 0x0 |
| int_min * int_min * zero : 0x0 |
| int_min * int_min * NaN : NaN |
| int_min * int_min * Inf_plus : Inf |
| int_min * int_min * Inf_min : -Inf |
| int_min * int_min * Inf : Inf |
| int_min * int_min * long_max : 0x1fffffffffffffffce+15 |
| int_min * int_min * long_min : 0xee+31 |
| int_min * int_min * int_max : 0x1fffffffce+15 |
| int_min * int_min * int_min : 0xee+23 |
| int_min * int_min * uint_max : 0x3fffffffce+15 |
| int_min * int_min * ulong_max : 0x3fffffffffffffffce+15 |
| int_min * int_min * double_min : 0x.1e-239 |
| int_min * int_min * double_max : 0x3ffffffffffffee+258 |
| int_min * int_min * float_min : 0x.1e-15 |
| int_min * int_min * float_max : 0x3fffffce+41 |
| uint_max / zero_min : -Inf |
| uint_max / zero_plus : Inf |
| uint_max / zero : Inf |
| uint_max / NaN : NaN |
| uint_max / Inf_plus : 0x0 |
| uint_max / Inf_min : 0x0 |
| uint_max / Inf : 0x0 |
| uint_max / long_max : 0x.1fffffffe00000002e-7 |
| uint_max / long_min : 0x.e00000002e-7 |
| uint_max / int_max : 0x2.0000000200000004 |
| uint_max / int_min : 0xe.00000002 |
| uint_max / uint_max : 0x1 |
| uint_max / ulong_max : 0x.0ffffffffe-7 |
| uint_max / double_min : 0x3fffffffce+255 |
| uint_max / double_max : 0x.0ffffffff000008e-247 |
| uint_max / float_min : 0x3fffffffce+31 |
| uint_max / float_max : 0x.1000000ff0000ffe-23 |
| uint_max * zero_min : 0x0 |
| uint_max * zero_plus : 0x0 |
| uint_max * zero : 0x0 |
| uint_max * NaN : NaN |
| uint_max * Inf_plus : Inf |
| uint_max * Inf_min : -Inf |
| uint_max * Inf : Inf |
| uint_max * long_max : 0x7fffffff7fffffff00000001 |
| uint_max * long_min : 0x800000008e+15 |
| uint_max * int_max : 0x7ffffffe80000001 |
| uint_max * int_min : 0x800000008e+7 |
| uint_max * uint_max : 0x0fffffffe00000001 |
| uint_max * ulong_max : 0x0fffffffeffffffff00000001 |
| uint_max * double_min : 0x.3fffffffce-247 |
| uint_max * double_max : 0x0fffffffefffff800000008e+242 |
| uint_max * float_min : 0x.3fffffffce-23 |
| uint_max * float_max : 0x0fffffeff000001e+26 |
| uint_max + zero_min : 0x0ffffffff |
| uint_max + zero_plus : 0x0ffffffff |
| uint_max + zero : 0x0ffffffff |
| uint_max + NaN : NaN |
| uint_max + Inf_plus : Inf |
| uint_max + Inf_min : -Inf |
| uint_max + Inf : Inf |
| uint_max + long_max : 0x080000000fffffffe |
| uint_max + long_min : 0x80000000ffffffff |
| uint_max + int_max : 0x17ffffffe |
| uint_max + int_min : 0x7fffffff |
| uint_max + uint_max : 0x1fffffffe |
| uint_max + ulong_max : 0x100000000fffffffe |
| uint_max + double_min : 0x0ffffffff |
| uint_max + double_max : 0x0fffffffffffff8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffff |
| uint_max + float_min : 0x0ffffffff.00000000000000000000000000000004 |
| uint_max + float_max : 0x0ffffff000000000000000000ffffffff |
| uint_max - zero_min : 0x0ffffffff |
| uint_max - zero_plus : 0x0ffffffff |
| uint_max - zero : 0x0ffffffff |
| uint_max - NaN : NaN |
| uint_max - Inf_plus : -Inf |
| uint_max - Inf_min : Inf |
| uint_max - Inf : -Inf |
| uint_max - long_max : 0x80000001e+8 |
| uint_max - long_min : 0x080000000ffffffff |
| uint_max - int_max : 0x08e+7 |
| uint_max - int_min : 0x17fffffff |
| uint_max - uint_max : 0x0 |
| uint_max - ulong_max : 0xf00000001e+8 |
| uint_max - double_min : 0x0ffffffff |
| uint_max - double_max : 0xf00000000000008000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffff |
| uint_max - float_min : 0x0fffffffe.fffffffffffffffffffffffffffffffc |
| uint_max - float_max : 0xf000001000000000000000000ffffffff |
| uint_max > zero_min : 0x1 |
| uint_max > zero_plus : 0x1 |
| uint_max > zero : 0x1 |
| uint_max > NaN : 0x0 |
| uint_max > Inf_plus : 0x0 |
| uint_max > Inf_min : 0x1 |
| uint_max > Inf : 0x0 |
| uint_max > long_max : 0x0 |
| uint_max > long_min : 0x1 |
| uint_max > int_max : 0x1 |
| uint_max > int_min : 0x1 |
| uint_max > uint_max : 0x0 |
| uint_max > ulong_max : 0x0 |
| uint_max > double_min : 0x1 |
| uint_max > double_max : 0x0 |
| uint_max > float_min : 0x1 |
| uint_max > float_max : 0x0 |
| uint_max < zero_min : 0x0 |
| uint_max < zero_plus : 0x0 |
| uint_max < zero : 0x0 |
| uint_max < NaN : 0x0 |
| uint_max < Inf_plus : 0x1 |
| uint_max < Inf_min : 0x0 |
| uint_max < Inf : 0x1 |
| uint_max < long_max : 0x1 |
| uint_max < long_min : 0x0 |
| uint_max < int_max : 0x0 |
| uint_max < int_min : 0x0 |
| uint_max < uint_max : 0x0 |
| uint_max < ulong_max : 0x1 |
| uint_max < double_min : 0x0 |
| uint_max < double_max : 0x1 |
| uint_max < float_min : 0x0 |
| uint_max < float_max : 0x1 |
| uint_max >= zero_min : 0x1 |
| uint_max >= zero_plus : 0x1 |
| uint_max >= zero : 0x1 |
| uint_max >= NaN : 0x0 |
| uint_max >= Inf_plus : 0x0 |
| uint_max >= Inf_min : 0x1 |
| uint_max >= Inf : 0x0 |
| uint_max >= long_max : 0x0 |
| uint_max >= long_min : 0x1 |
| uint_max >= int_max : 0x1 |
| uint_max >= int_min : 0x1 |
| uint_max >= uint_max : 0x1 |
| uint_max >= ulong_max : 0x0 |
| uint_max >= double_min : 0x1 |
| uint_max >= double_max : 0x0 |
| uint_max >= float_min : 0x1 |
| uint_max >= float_max : 0x0 |
| uint_max <= zero_min : 0x0 |
| uint_max <= zero_plus : 0x0 |
| uint_max <= zero : 0x0 |
| uint_max <= NaN : 0x0 |
| uint_max <= Inf_plus : 0x1 |
| uint_max <= Inf_min : 0x0 |
| uint_max <= Inf : 0x1 |
| uint_max <= long_max : 0x1 |
| uint_max <= long_min : 0x0 |
| uint_max <= int_max : 0x0 |
| uint_max <= int_min : 0x0 |
| uint_max <= uint_max : 0x1 |
| uint_max <= ulong_max : 0x1 |
| uint_max <= double_min : 0x0 |
| uint_max <= double_max : 0x1 |
| uint_max <= float_min : 0x0 |
| uint_max <= float_max : 0x1 |
| uint_max == zero_min : 0x0 |
| uint_max == zero_plus : 0x0 |
| uint_max == zero : 0x0 |
| uint_max == NaN : 0x0 |
| uint_max == Inf_plus : 0x0 |
| uint_max == Inf_min : 0x0 |
| uint_max == Inf : 0x0 |
| uint_max == long_max : 0x0 |
| uint_max == long_min : 0x0 |
| uint_max == int_max : 0x0 |
| uint_max == int_min : 0x0 |
| uint_max == uint_max : 0x1 |
| uint_max == ulong_max : 0x0 |
| uint_max == double_min : 0x0 |
| uint_max == double_max : 0x0 |
| uint_max == float_min : 0x0 |
| uint_max == float_max : 0x0 |
| uint_max != zero_min : 0x1 |
| uint_max != zero_plus : 0x1 |
| uint_max != zero : 0x1 |
| uint_max != NaN : 0x1 |
| uint_max != Inf_plus : 0x1 |
| uint_max != Inf_min : 0x1 |
| uint_max != Inf : 0x1 |
| uint_max != long_max : 0x1 |
| uint_max != long_min : 0x1 |
| uint_max != int_max : 0x1 |
| uint_max != int_min : 0x1 |
| uint_max != uint_max : 0x0 |
| uint_max != ulong_max : 0x1 |
| uint_max != double_min : 0x1 |
| uint_max != double_max : 0x1 |
| uint_max != float_min : 0x1 |
| uint_max != float_max : 0x1 |
| uint_max * uint_max * zero_min : 0x0 |
| uint_max * uint_max * zero_plus : 0x0 |
| uint_max * uint_max * zero : 0x0 |
| uint_max * uint_max * NaN : NaN |
| uint_max * uint_max * Inf_plus : Inf |
| uint_max * uint_max * Inf_min : -Inf |
| uint_max * uint_max * Inf : Inf |
| uint_max * uint_max * long_max : 0x7ffffffeffffffff80000001ffffffff |
| uint_max * uint_max * long_min : 0x80000000ffffffff8e+15 |
| uint_max * uint_max * int_max : 0x7ffffffe000000027fffffff |
| uint_max * uint_max * int_min : 0x80000000ffffffff8e+7 |
| uint_max * uint_max * uint_max : 0x0fffffffd00000002ffffffff |
| uint_max * uint_max * ulong_max : 0x0fffffffe0000000000000001ffffffff |
| uint_max * uint_max * double_min : 0x.3fffffff800000004e-239 |
| uint_max * uint_max * double_max : 0x0fffffffdfffff80100000ffffffff8e+242 |
| uint_max * uint_max * float_min : 0x.3fffffff800000004e-15 |
| uint_max * uint_max * float_max : 0x0fffffefe00000200ffffffe+26 |
| ulong_max / zero_min : -Inf |
| ulong_max / zero_plus : Inf |
| ulong_max / zero : Inf |
| ulong_max / NaN : NaN |
| ulong_max / Inf_plus : 0x0 |
| ulong_max / Inf_min : 0x0 |
| ulong_max / Inf : 0x0 |
| ulong_max / long_max : 0x2.0000000000000002 |
| ulong_max / long_min : 0xe.0000000000000002 |
| ulong_max / int_max : 0x200000004.00000008 |
| ulong_max / int_min : 0xe00000000.00000002 |
| ulong_max / uint_max : 0x100000001 |
| ulong_max / ulong_max : 0x1 |
| ulong_max / double_min : 0x3fffffffffffffffce+255 |
| ulong_max / double_max : 0x.100000000000008e-239 |
| ulong_max / float_min : 0x3fffffffffffffffce+31 |
| ulong_max / float_max : 0x.1000001000001e-15 |
| ulong_max * zero_min : 0x0 |
| ulong_max * zero_plus : 0x0 |
| ulong_max * zero : 0x0 |
| ulong_max * NaN : NaN |
| ulong_max * Inf_plus : Inf |
| ulong_max * Inf_min : -Inf |
| ulong_max * Inf : Inf |
| ulong_max * long_max : 0x7ffffffffffffffe8000000000000001 |
| ulong_max * long_min : 0x80000000000000008e+15 |
| ulong_max * int_max : 0x7ffffffeffffffff80000001 |
| ulong_max * int_min : 0x80000000000000008e+7 |
| ulong_max * uint_max : 0x0fffffffeffffffff00000001 |
| ulong_max * ulong_max : 0x0fffffffffffffffe0000000000000001 |
| ulong_max * double_min : 0x.3fffffffffffffffce-239 |
| ulong_max * double_max : 0x0fffffffffffff7ff00000000000008e+242 |
| ulong_max * float_min : 0x.3fffffffffffffffce-15 |
| ulong_max * float_max : 0x0fffffeffffffffff000001e+26 |
| ulong_max + zero_min : 0x0ffffffffffffffff |
| ulong_max + zero_plus : 0x0ffffffffffffffff |
| ulong_max + zero : 0x0ffffffffffffffff |
| ulong_max + NaN : NaN |
| ulong_max + Inf_plus : Inf |
| ulong_max + Inf_min : -Inf |
| ulong_max + Inf : Inf |
| ulong_max + long_max : 0x17ffffffffffffffe |
| ulong_max + long_min : 0x7fffffffffffffff |
| ulong_max + int_max : 0x1000000007ffffffe |
| ulong_max + int_min : 0x0ffffffff7fffffff |
| ulong_max + uint_max : 0x100000000fffffffe |
| ulong_max + ulong_max : 0x1fffffffffffffffe |
| ulong_max + double_min : 0x0ffffffffffffffff |
| ulong_max + double_max : 0x0fffffffffffff80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff |
| ulong_max + float_min : 0x0ffffffffffffffff.00000000000000000000000000000004 |
| ulong_max + float_max : 0x0ffffff0000000000ffffffffffffffff |
| ulong_max - zero_min : 0x0ffffffffffffffff |
| ulong_max - zero_plus : 0x0ffffffffffffffff |
| ulong_max - zero : 0x0ffffffffffffffff |
| ulong_max - NaN : NaN |
| ulong_max - Inf_plus : -Inf |
| ulong_max - Inf_min : Inf |
| ulong_max - Inf : -Inf |
| ulong_max - long_max : 0x08e+15 |
| ulong_max - long_min : 0x17fffffffffffffff |
| ulong_max - int_max : 0x0ffffffff8e+7 |
| ulong_max - int_min : 0x1000000007fffffff |
| ulong_max - uint_max : 0x0ffffffffe+8 |
| ulong_max - ulong_max : 0x0 |
| ulong_max - double_min : 0x0ffffffffffffffff |
| ulong_max - double_max : 0xf000000000000080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff |
| ulong_max - float_min : 0x0fffffffffffffffe.fffffffffffffffffffffffffffffffc |
| ulong_max - float_max : 0xf0000010000000000ffffffffffffffff |
| ulong_max > zero_min : 0x1 |
| ulong_max > zero_plus : 0x1 |
| ulong_max > zero : 0x1 |
| ulong_max > NaN : 0x0 |
| ulong_max > Inf_plus : 0x0 |
| ulong_max > Inf_min : 0x1 |
| ulong_max > Inf : 0x0 |
| ulong_max > long_max : 0x1 |
| ulong_max > long_min : 0x1 |
| ulong_max > int_max : 0x1 |
| ulong_max > int_min : 0x1 |
| ulong_max > uint_max : 0x1 |
| ulong_max > ulong_max : 0x0 |
| ulong_max > double_min : 0x1 |
| ulong_max > double_max : 0x0 |
| ulong_max > float_min : 0x1 |
| ulong_max > float_max : 0x0 |
| ulong_max < zero_min : 0x0 |
| ulong_max < zero_plus : 0x0 |
| ulong_max < zero : 0x0 |
| ulong_max < NaN : 0x0 |
| ulong_max < Inf_plus : 0x1 |
| ulong_max < Inf_min : 0x0 |
| ulong_max < Inf : 0x1 |
| ulong_max < long_max : 0x0 |
| ulong_max < long_min : 0x0 |
| ulong_max < int_max : 0x0 |
| ulong_max < int_min : 0x0 |
| ulong_max < uint_max : 0x0 |
| ulong_max < ulong_max : 0x0 |
| ulong_max < double_min : 0x0 |
| ulong_max < double_max : 0x1 |
| ulong_max < float_min : 0x0 |
| ulong_max < float_max : 0x1 |
| ulong_max >= zero_min : 0x1 |
| ulong_max >= zero_plus : 0x1 |
| ulong_max >= zero : 0x1 |
| ulong_max >= NaN : 0x0 |
| ulong_max >= Inf_plus : 0x0 |
| ulong_max >= Inf_min : 0x1 |
| ulong_max >= Inf : 0x0 |
| ulong_max >= long_max : 0x1 |
| ulong_max >= long_min : 0x1 |
| ulong_max >= int_max : 0x1 |
| ulong_max >= int_min : 0x1 |
| ulong_max >= uint_max : 0x1 |
| ulong_max >= ulong_max : 0x1 |
| ulong_max >= double_min : 0x1 |
| ulong_max >= double_max : 0x0 |
| ulong_max >= float_min : 0x1 |
| ulong_max >= float_max : 0x0 |
| ulong_max <= zero_min : 0x0 |
| ulong_max <= zero_plus : 0x0 |
| ulong_max <= zero : 0x0 |
| ulong_max <= NaN : 0x0 |
| ulong_max <= Inf_plus : 0x1 |
| ulong_max <= Inf_min : 0x0 |
| ulong_max <= Inf : 0x1 |
| ulong_max <= long_max : 0x0 |
| ulong_max <= long_min : 0x0 |
| ulong_max <= int_max : 0x0 |
| ulong_max <= int_min : 0x0 |
| ulong_max <= uint_max : 0x0 |
| ulong_max <= ulong_max : 0x1 |
| ulong_max <= double_min : 0x0 |
| ulong_max <= double_max : 0x1 |
| ulong_max <= float_min : 0x0 |
| ulong_max <= float_max : 0x1 |
| ulong_max == zero_min : 0x0 |
| ulong_max == zero_plus : 0x0 |
| ulong_max == zero : 0x0 |
| ulong_max == NaN : 0x0 |
| ulong_max == Inf_plus : 0x0 |
| ulong_max == Inf_min : 0x0 |
| ulong_max == Inf : 0x0 |
| ulong_max == long_max : 0x0 |
| ulong_max == long_min : 0x0 |
| ulong_max == int_max : 0x0 |
| ulong_max == int_min : 0x0 |
| ulong_max == uint_max : 0x0 |
| ulong_max == ulong_max : 0x1 |
| ulong_max == double_min : 0x0 |
| ulong_max == double_max : 0x0 |
| ulong_max == float_min : 0x0 |
| ulong_max == float_max : 0x0 |
| ulong_max != zero_min : 0x1 |
| ulong_max != zero_plus : 0x1 |
| ulong_max != zero : 0x1 |
| ulong_max != NaN : 0x1 |
| ulong_max != Inf_plus : 0x1 |
| ulong_max != Inf_min : 0x1 |
| ulong_max != Inf : 0x1 |
| ulong_max != long_max : 0x1 |
| ulong_max != long_min : 0x1 |
| ulong_max != int_max : 0x1 |
| ulong_max != int_min : 0x1 |
| ulong_max != uint_max : 0x1 |
| ulong_max != ulong_max : 0x0 |
| ulong_max != double_min : 0x1 |
| ulong_max != double_max : 0x1 |
| ulong_max != float_min : 0x1 |
| ulong_max != float_max : 0x1 |
| ulong_max * ulong_max * zero_min : 0x0 |
| ulong_max * ulong_max * zero_plus : 0x0 |
| ulong_max * ulong_max * zero : 0x0 |
| ulong_max * ulong_max * NaN : NaN |
| ulong_max * ulong_max * Inf_plus : Inf |
| ulong_max * ulong_max * Inf_min : -Inf |
| ulong_max * ulong_max * Inf : Inf |
| ulong_max * ulong_max * long_max : 0x7ffffffffffffffe00000000000000027fffffffffffffff |
| ulong_max * ulong_max * long_min : 0x8000000000000000ffffffffffffffff8e+15 |
| ulong_max * ulong_max * int_max : 0x7ffffffeffffffff00000002000000007fffffff |
| ulong_max * ulong_max * int_min : 0x8000000000000000ffffffffffffffff8e+7 |
| ulong_max * ulong_max * uint_max : 0x0fffffffefffffffe0000000200000000ffffffff |
| ulong_max * ulong_max * ulong_max : 0x0fffffffffffffffd0000000000000002ffffffffffffffff |
| ulong_max * ulong_max * double_min : 0x.3fffffffffffffff80000000000000004e-223 |
| ulong_max * ulong_max * double_max : 0x0fffffffffffff7fe0000000000001000fffffffffffff8e+242 |
| ulong_max * ulong_max * float_min : 0x3.fffffffffffffff80000000000000004 |
| ulong_max * ulong_max * float_max : 0x0fffffefffffffffe0000020000000000ffffffe+26 |
| ****************** limits fx_float_double |
| zero_min : 0x0 |
| zero_plus : 0x0 |
| zero : 0x0 |
| NaN : NaN |
| Inf_plus : Inf |
| Inf_min : -Inf |
| Inf : Inf |
| long_max : 0x7fffffffffffffff |
| long_min : 0x8e+15 |
| int_max : 0x7fffffff |
| int_min : 0x8e+7 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffffffffffff |
| double_min : 0x.4e-255 |
| double_max : 0x0fffffffffffff8e+242 |
| float_min : 0x.4e-31 |
| float_max : 0x0ffffffe+26 |
| double_min / zero_min : -Inf |
| double_min / zero_plus : Inf |
| double_min / zero : Inf |
| double_min / NaN : NaN |
| double_min / Inf_plus : 0x0 |
| double_min / Inf_min : 0x0 |
| double_min / Inf : 0x0 |
| double_min / long_max : 0x.08000000000000001e-270 |
| double_min / long_min : 0x.8e-271 |
| double_min / int_max : 0x.08000000100000002e-262 |
| double_min / int_min : 0x.8e-263 |
| double_min / uint_max : 0x.400000004e-263 |
| double_min / ulong_max : 0x.4e-271 |
| double_min / double_min : 0x1 |
| double_min / double_max : 0x.40000000000002e-511 |
| double_min / float_min : 0x.1e-223 |
| double_min / float_max : 0x.4000004000004e-287 |
| double_min * zero_min : 0x0 |
| double_min * zero_plus : 0x0 |
| double_min * zero : 0x0 |
| double_min * NaN : NaN |
| double_min * Inf_plus : Inf |
| double_min * Inf_min : -Inf |
| double_min * Inf : Inf |
| double_min * long_max : 0x.1fffffffffffffffce-239 |
| double_min * long_min : 0x.ee-239 |
| double_min * int_max : 0x.1fffffffce-247 |
| double_min * int_min : 0x.ee-247 |
| double_min * uint_max : 0x.3fffffffce-247 |
| double_min * ulong_max : 0x.3fffffffffffffffce-239 |
| double_min * double_min : 0x.1e-510 |
| double_min * double_max : 0x3.ffffffffffffe |
| double_min * float_min : 0x.1e-286 |
| double_min * float_max : 0x.3fffffce-223 |
| double_min + zero_min : 0x.4e-255 |
| double_min + zero_plus : 0x.4e-255 |
| double_min + zero : 0x.4e-255 |
| double_min + NaN : NaN |
| double_min + Inf_plus : Inf |
| double_min + Inf_min : -Inf |
| double_min + Inf : Inf |
| double_min + long_max : 0x7fffffffffffffff |
| double_min + long_min : 0x8e+15 |
| double_min + int_max : 0x7fffffff |
| double_min + int_min : 0x8e+7 |
| double_min + uint_max : 0x0ffffffff |
| double_min + ulong_max : 0x0ffffffffffffffff |
| double_min + double_min : 0x.08e-254 |
| double_min + double_max : 0x0fffffffffffff8e+242 |
| double_min + float_min : 0x.400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004e-31 |
| double_min + float_max : 0x0ffffffe+26 |
| double_min - zero_min : 0x.4e-255 |
| double_min - zero_plus : 0x.4e-255 |
| double_min - zero : 0x.4e-255 |
| double_min - NaN : NaN |
| double_min - Inf_plus : -Inf |
| double_min - Inf_min : Inf |
| double_min - Inf : -Inf |
| double_min - long_max : 0x8000000000000001 |
| double_min - long_min : 0x08e+15 |
| double_min - int_max : 0x80000001 |
| double_min - int_min : 0x08e+7 |
| double_min - uint_max : 0xf00000001 |
| double_min - ulong_max : 0xf0000000000000001 |
| double_min - double_min : 0x0 |
| double_min - double_max : 0xf00000000000008e+242 |
| double_min - float_min : 0x.c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004e-31 |
| double_min - float_max : 0xf000001e+26 |
| double_min > zero_min : 0x1 |
| double_min > zero_plus : 0x1 |
| double_min > zero : 0x1 |
| double_min > NaN : 0x0 |
| double_min > Inf_plus : 0x0 |
| double_min > Inf_min : 0x1 |
| double_min > Inf : 0x0 |
| double_min > long_max : 0x0 |
| double_min > long_min : 0x1 |
| double_min > int_max : 0x0 |
| double_min > int_min : 0x1 |
| double_min > uint_max : 0x0 |
| double_min > ulong_max : 0x0 |
| double_min > double_min : 0x0 |
| double_min > double_max : 0x0 |
| double_min > float_min : 0x0 |
| double_min > float_max : 0x0 |
| double_min < zero_min : 0x0 |
| double_min < zero_plus : 0x0 |
| double_min < zero : 0x0 |
| double_min < NaN : 0x0 |
| double_min < Inf_plus : 0x1 |
| double_min < Inf_min : 0x0 |
| double_min < Inf : 0x1 |
| double_min < long_max : 0x1 |
| double_min < long_min : 0x0 |
| double_min < int_max : 0x1 |
| double_min < int_min : 0x0 |
| double_min < uint_max : 0x1 |
| double_min < ulong_max : 0x1 |
| double_min < double_min : 0x0 |
| double_min < double_max : 0x1 |
| double_min < float_min : 0x1 |
| double_min < float_max : 0x1 |
| double_min >= zero_min : 0x1 |
| double_min >= zero_plus : 0x1 |
| double_min >= zero : 0x1 |
| double_min >= NaN : 0x0 |
| double_min >= Inf_plus : 0x0 |
| double_min >= Inf_min : 0x1 |
| double_min >= Inf : 0x0 |
| double_min >= long_max : 0x0 |
| double_min >= long_min : 0x1 |
| double_min >= int_max : 0x0 |
| double_min >= int_min : 0x1 |
| double_min >= uint_max : 0x0 |
| double_min >= ulong_max : 0x0 |
| double_min >= double_min : 0x1 |
| double_min >= double_max : 0x0 |
| double_min >= float_min : 0x0 |
| double_min >= float_max : 0x0 |
| double_min <= zero_min : 0x0 |
| double_min <= zero_plus : 0x0 |
| double_min <= zero : 0x0 |
| double_min <= NaN : 0x0 |
| double_min <= Inf_plus : 0x1 |
| double_min <= Inf_min : 0x0 |
| double_min <= Inf : 0x1 |
| double_min <= long_max : 0x1 |
| double_min <= long_min : 0x0 |
| double_min <= int_max : 0x1 |
| double_min <= int_min : 0x0 |
| double_min <= uint_max : 0x1 |
| double_min <= ulong_max : 0x1 |
| double_min <= double_min : 0x1 |
| double_min <= double_max : 0x1 |
| double_min <= float_min : 0x1 |
| double_min <= float_max : 0x1 |
| double_min == zero_min : 0x0 |
| double_min == zero_plus : 0x0 |
| double_min == zero : 0x0 |
| double_min == NaN : 0x0 |
| double_min == Inf_plus : 0x0 |
| double_min == Inf_min : 0x0 |
| double_min == Inf : 0x0 |
| double_min == long_max : 0x0 |
| double_min == long_min : 0x0 |
| double_min == int_max : 0x0 |
| double_min == int_min : 0x0 |
| double_min == uint_max : 0x0 |
| double_min == ulong_max : 0x0 |
| double_min == double_min : 0x1 |
| double_min == double_max : 0x0 |
| double_min == float_min : 0x0 |
| double_min == float_max : 0x0 |
| double_min != zero_min : 0x1 |
| double_min != zero_plus : 0x1 |
| double_min != zero : 0x1 |
| double_min != NaN : 0x1 |
| double_min != Inf_plus : 0x1 |
| double_min != Inf_min : 0x1 |
| double_min != Inf : 0x1 |
| double_min != long_max : 0x1 |
| double_min != long_min : 0x1 |
| double_min != int_max : 0x1 |
| double_min != int_min : 0x1 |
| double_min != uint_max : 0x1 |
| double_min != ulong_max : 0x1 |
| double_min != double_min : 0x0 |
| double_min != double_max : 0x1 |
| double_min != float_min : 0x1 |
| double_min != float_max : 0x1 |
| double_min * double_min * zero_min : 0x0 |
| double_min * double_min * zero_plus : 0x0 |
| double_min * double_min * zero : 0x0 |
| double_min * double_min * NaN : NaN |
| double_min * double_min * Inf_plus : Inf |
| double_min * double_min * Inf_min : -Inf |
| double_min * double_min * Inf : Inf |
| double_min * double_min * long_max : 0x.7fffffffffffffffe-495 |
| double_min * double_min * long_min : 0x.8e-495 |
| double_min * double_min * int_max : 0x.7fffffffe-503 |
| double_min * double_min * int_min : 0x.8e-503 |
| double_min * double_min * uint_max : 0x.0ffffffffe-502 |
| double_min * double_min * ulong_max : 0x.0ffffffffffffffffe-494 |
| double_min * double_min * double_min : 0x.4e-766 |
| double_min * double_min * double_max : 0x.0fffffffffffff8e-254 |
| double_min * double_min * float_min : 0x.4e-542 |
| double_min * double_min * float_max : 0x.0ffffffe-478 |
| double_max / zero_min : -Inf |
| double_max / zero_plus : Inf |
| double_max / zero : Inf |
| double_max / NaN : NaN |
| double_max / Inf_plus : 0x0 |
| double_max / Inf_min : 0x0 |
| double_max / Inf : 0x0 |
| double_max / long_max : 0x1fffffffffffff002e+224 |
| double_max / long_min : 0xe0000000000001e+227 |
| double_max / int_max : 0x200000003fffff008e+232 |
| double_max / int_min : 0xe0000000000001e+235 |
| double_max / uint_max : 0x100000000fffff8e+234 |
| double_max / ulong_max : 0x0fffffffffffff8e+226 |
| double_max / double_min : 0x3ffffffffffffee+498 |
| double_max / double_max : 0x1 |
| double_max / float_min : 0x3ffffffffffffee+274 |
| double_max / float_max : 0x1000001000000f8e+210 |
| double_max * zero_min : 0x0 |
| double_max * zero_plus : 0x0 |
| double_max * zero : 0x0 |
| double_max * NaN : NaN |
| double_max * Inf_plus : Inf |
| double_max * Inf_min : -Inf |
| double_max * Inf : Inf |
| double_max * long_max : 0x7ffffffffffffbff00000000000008e+242 |
| double_max * long_min : 0x80000000000004e+258 |
| double_max * int_max : 0x7ffffffefffffc00000008e+242 |
| double_max * int_min : 0x80000000000004e+250 |
| double_max * uint_max : 0x0fffffffefffff800000008e+242 |
| double_max * ulong_max : 0x0fffffffffffff7ff00000000000008e+242 |
| double_max * double_min : 0x3.ffffffffffffe |
| double_max * double_max : 0x0fffffffffffff00000000000004e+485 |
| double_max * float_min : 0x3ffffffffffffee+211 |
| double_max * float_max : 0x0fffffefffffff8000008e+268 |
| double_max + zero_min : 0x0fffffffffffff8e+242 |
| double_max + zero_plus : 0x0fffffffffffff8e+242 |
| double_max + zero : 0x0fffffffffffff8e+242 |
| double_max + NaN : NaN |
| double_max + Inf_plus : Inf |
| double_max + Inf_min : -Inf |
| double_max + Inf : Inf |
| double_max + long_max : 0x0fffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007fffffffffffffff |
| double_max + long_min : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8e+15 |
| double_max + int_max : 0x0fffffffffffff80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007fffffff |
| double_max + int_min : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8e+7 |
| double_max + uint_max : 0x0fffffffffffff8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffff |
| double_max + ulong_max : 0x0fffffffffffff80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff |
| double_max + double_min : 0x0fffffffffffff8e+242 |
| double_max + double_max : 0x1fffffffffffffe+243 |
| double_max + float_min : 0x0fffffffffffff8e+242 |
| double_max + float_max : 0x0fffffffffffff8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffe+26 |
| double_max - zero_min : 0x0fffffffffffff8e+242 |
| double_max - zero_plus : 0x0fffffffffffff8e+242 |
| double_max - zero : 0x0fffffffffffff8e+242 |
| double_max - NaN : NaN |
| double_max - Inf_plus : -Inf |
| double_max - Inf_min : Inf |
| double_max - Inf : -Inf |
| double_max - long_max : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8000000000000001 |
| double_max - long_min : 0x0fffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008e+15 |
| double_max - int_max : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80000001 |
| double_max - int_min : 0x0fffffffffffff80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008e+7 |
| double_max - uint_max : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000001 |
| double_max - ulong_max : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000001 |
| double_max - double_min : 0x0fffffffffffff8e+242 |
| double_max - double_max : 0x0 |
| double_max - float_min : 0x0fffffffffffff8e+242 |
| double_max - float_max : 0x0fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff000001e+26 |
| double_max > zero_min : 0x1 |
| double_max > zero_plus : 0x1 |
| double_max > zero : 0x1 |
| double_max > NaN : 0x0 |
| double_max > Inf_plus : 0x0 |
| double_max > Inf_min : 0x1 |
| double_max > Inf : 0x0 |
| double_max > long_max : 0x1 |
| double_max > long_min : 0x1 |
| double_max > int_max : 0x1 |
| double_max > int_min : 0x1 |
| double_max > uint_max : 0x1 |
| double_max > ulong_max : 0x1 |
| double_max > double_min : 0x1 |
| double_max > double_max : 0x0 |
| double_max > float_min : 0x1 |
| double_max > float_max : 0x1 |
| double_max < zero_min : 0x0 |
| double_max < zero_plus : 0x0 |
| double_max < zero : 0x0 |
| double_max < NaN : 0x0 |
| double_max < Inf_plus : 0x1 |
| double_max < Inf_min : 0x0 |
| double_max < Inf : 0x1 |
| double_max < long_max : 0x0 |
| double_max < long_min : 0x0 |
| double_max < int_max : 0x0 |
| double_max < int_min : 0x0 |
| double_max < uint_max : 0x0 |
| double_max < ulong_max : 0x0 |
| double_max < double_min : 0x0 |
| double_max < double_max : 0x0 |
| double_max < float_min : 0x0 |
| double_max < float_max : 0x0 |
| double_max >= zero_min : 0x1 |
| double_max >= zero_plus : 0x1 |
| double_max >= zero : 0x1 |
| double_max >= NaN : 0x0 |
| double_max >= Inf_plus : 0x0 |
| double_max >= Inf_min : 0x1 |
| double_max >= Inf : 0x0 |
| double_max >= long_max : 0x1 |
| double_max >= long_min : 0x1 |
| double_max >= int_max : 0x1 |
| double_max >= int_min : 0x1 |
| double_max >= uint_max : 0x1 |
| double_max >= ulong_max : 0x1 |
| double_max >= double_min : 0x1 |
| double_max >= double_max : 0x1 |
| double_max >= float_min : 0x1 |
| double_max >= float_max : 0x1 |
| double_max <= zero_min : 0x0 |
| double_max <= zero_plus : 0x0 |
| double_max <= zero : 0x0 |
| double_max <= NaN : 0x0 |
| double_max <= Inf_plus : 0x1 |
| double_max <= Inf_min : 0x0 |
| double_max <= Inf : 0x1 |
| double_max <= long_max : 0x0 |
| double_max <= long_min : 0x0 |
| double_max <= int_max : 0x0 |
| double_max <= int_min : 0x0 |
| double_max <= uint_max : 0x0 |
| double_max <= ulong_max : 0x0 |
| double_max <= double_min : 0x0 |
| double_max <= double_max : 0x1 |
| double_max <= float_min : 0x0 |
| double_max <= float_max : 0x0 |
| double_max == zero_min : 0x0 |
| double_max == zero_plus : 0x0 |
| double_max == zero : 0x0 |
| double_max == NaN : 0x0 |
| double_max == Inf_plus : 0x0 |
| double_max == Inf_min : 0x0 |
| double_max == Inf : 0x0 |
| double_max == long_max : 0x0 |
| double_max == long_min : 0x0 |
| double_max == int_max : 0x0 |
| double_max == int_min : 0x0 |
| double_max == uint_max : 0x0 |
| double_max == ulong_max : 0x0 |
| double_max == double_min : 0x0 |
| double_max == double_max : 0x1 |
| double_max == float_min : 0x0 |
| double_max == float_max : 0x0 |
| double_max != zero_min : 0x1 |
| double_max != zero_plus : 0x1 |
| double_max != zero : 0x1 |
| double_max != NaN : 0x1 |
| double_max != Inf_plus : 0x1 |
| double_max != Inf_min : 0x1 |
| double_max != Inf : 0x1 |
| double_max != long_max : 0x1 |
| double_max != long_min : 0x1 |
| double_max != int_max : 0x1 |
| double_max != int_min : 0x1 |
| double_max != uint_max : 0x1 |
| double_max != ulong_max : 0x1 |
| double_max != double_min : 0x1 |
| double_max != double_max : 0x0 |
| double_max != float_min : 0x1 |
| double_max != float_max : 0x1 |
| double_max * double_max * zero_min : 0x0 |
| double_max * double_max * zero_plus : 0x0 |
| double_max * double_max * zero : 0x0 |
| double_max * double_max * NaN : NaN |
| double_max * double_max * Inf_plus : Inf |
| double_max * double_max * Inf_min : -Inf |
| double_max * double_max * Inf : Inf |
| double_max * double_max * long_max : 0x7ffffffffffff7ff0000000000200fffffffffffffce+485 |
| double_max * double_max * long_min : 0x80000000000007ffffffffffffee+501 |
| double_max * double_max * int_max : 0x7ffffffefffff80000001000001fffffffce+485 |
| double_max * double_max * int_min : 0x80000000000007ffffffffffffee+493 |
| double_max * double_max * uint_max : 0x0fffffffefffff00000001000003fffffffce+485 |
| double_max * double_max * ulong_max : 0x0ffffffffffffefff0000000000400fffffffffffffce+485 |
| double_max * double_max * double_min : 0x3ffffffffffffc0000000000001e+230 |
| double_max * double_max * double_max : 0x0ffffffffffffe8000000000000bffffffffffffee+728 |
| double_max * double_max * float_min : 0x3ffffffffffffc0000000000001e+454 |
| double_max * double_max * float_max : 0x0fffffefffffff00000100000003fffffce+511 |
| float_min / zero_min : -Inf |
| float_min / zero_plus : Inf |
| float_min / zero : Inf |
| float_min / NaN : NaN |
| float_min / Inf_plus : 0x0 |
| float_min / Inf_min : 0x0 |
| float_min / Inf : 0x0 |
| float_min / long_max : 0x.08000000000000001e-46 |
| float_min / long_min : 0x.8e-47 |
| float_min / int_max : 0x.08000000100000002e-38 |
| float_min / int_min : 0x.8e-39 |
| float_min / uint_max : 0x.400000004e-39 |
| float_min / ulong_max : 0x.4e-47 |
| float_min / double_min : 0x1e+224 |
| float_min / double_max : 0x.40000000000002e-287 |
| float_min / float_min : 0x1 |
| float_min / float_max : 0x.4000004000004e-63 |
| float_min * zero_min : 0x0 |
| float_min * zero_plus : 0x0 |
| float_min * zero : 0x0 |
| float_min * NaN : NaN |
| float_min * Inf_plus : Inf |
| float_min * Inf_min : -Inf |
| float_min * Inf : Inf |
| float_min * long_max : 0x.1fffffffffffffffce-15 |
| float_min * long_min : 0x.ee-15 |
| float_min * int_max : 0x.1fffffffce-23 |
| float_min * int_min : 0x.ee-23 |
| float_min * uint_max : 0x.3fffffffce-23 |
| float_min * ulong_max : 0x.3fffffffffffffffce-15 |
| float_min * double_min : 0x.1e-286 |
| float_min * double_max : 0x3ffffffffffffee+211 |
| float_min * float_min : 0x.1e-62 |
| float_min * float_max : 0x3.fffffc |
| float_min + zero_min : 0x.4e-31 |
| float_min + zero_plus : 0x.4e-31 |
| float_min + zero : 0x.4e-31 |
| float_min + NaN : NaN |
| float_min + Inf_plus : Inf |
| float_min + Inf_min : -Inf |
| float_min + Inf : Inf |
| float_min + long_max : 0x7fffffffffffffff.00000000000000000000000000000004 |
| float_min + long_min : 0x8000000000000000.00000000000000000000000000000004 |
| float_min + int_max : 0x7fffffff.00000000000000000000000000000004 |
| float_min + int_min : 0x80000000.00000000000000000000000000000004 |
| float_min + uint_max : 0x0ffffffff.00000000000000000000000000000004 |
| float_min + ulong_max : 0x0ffffffffffffffff.00000000000000000000000000000004 |
| float_min + double_min : 0x.400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004e-31 |
| float_min + double_max : 0x0fffffffffffff8e+242 |
| float_min + float_min : 0x.08e-30 |
| float_min + float_max : 0x0ffffff00000000000000000000000000.00000000000000000000000000000004 |
| float_min - zero_min : 0x.4e-31 |
| float_min - zero_plus : 0x.4e-31 |
| float_min - zero : 0x.4e-31 |
| float_min - NaN : NaN |
| float_min - Inf_plus : -Inf |
| float_min - Inf_min : Inf |
| float_min - Inf : -Inf |
| float_min - long_max : 0x8000000000000001.00000000000000000000000000000004 |
| float_min - long_min : 0x08000000000000000.00000000000000000000000000000004 |
| float_min - int_max : 0x80000001.00000000000000000000000000000004 |
| float_min - int_min : 0x080000000.00000000000000000000000000000004 |
| float_min - uint_max : 0xf00000001.00000000000000000000000000000004 |
| float_min - ulong_max : 0xf0000000000000001.00000000000000000000000000000004 |
| float_min - double_min : 0x.3fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffce-31 |
| float_min - double_max : 0xf00000000000008e+242 |
| float_min - float_min : 0x0 |
| float_min - float_max : 0xf00000100000000000000000000000000.00000000000000000000000000000004 |
| float_min > zero_min : 0x1 |
| float_min > zero_plus : 0x1 |
| float_min > zero : 0x1 |
| float_min > NaN : 0x0 |
| float_min > Inf_plus : 0x0 |
| float_min > Inf_min : 0x1 |
| float_min > Inf : 0x0 |
| float_min > long_max : 0x0 |
| float_min > long_min : 0x1 |
| float_min > int_max : 0x0 |
| float_min > int_min : 0x1 |
| float_min > uint_max : 0x0 |
| float_min > ulong_max : 0x0 |
| float_min > double_min : 0x1 |
| float_min > double_max : 0x0 |
| float_min > float_min : 0x0 |
| float_min > float_max : 0x0 |
| float_min < zero_min : 0x0 |
| float_min < zero_plus : 0x0 |
| float_min < zero : 0x0 |
| float_min < NaN : 0x0 |
| float_min < Inf_plus : 0x1 |
| float_min < Inf_min : 0x0 |
| float_min < Inf : 0x1 |
| float_min < long_max : 0x1 |
| float_min < long_min : 0x0 |
| float_min < int_max : 0x1 |
| float_min < int_min : 0x0 |
| float_min < uint_max : 0x1 |
| float_min < ulong_max : 0x1 |
| float_min < double_min : 0x0 |
| float_min < double_max : 0x1 |
| float_min < float_min : 0x0 |
| float_min < float_max : 0x1 |
| float_min >= zero_min : 0x1 |
| float_min >= zero_plus : 0x1 |
| float_min >= zero : 0x1 |
| float_min >= NaN : 0x0 |
| float_min >= Inf_plus : 0x0 |
| float_min >= Inf_min : 0x1 |
| float_min >= Inf : 0x0 |
| float_min >= long_max : 0x0 |
| float_min >= long_min : 0x1 |
| float_min >= int_max : 0x0 |
| float_min >= int_min : 0x1 |
| float_min >= uint_max : 0x0 |
| float_min >= ulong_max : 0x0 |
| float_min >= double_min : 0x1 |
| float_min >= double_max : 0x0 |
| float_min >= float_min : 0x1 |
| float_min >= float_max : 0x0 |
| float_min <= zero_min : 0x0 |
| float_min <= zero_plus : 0x0 |
| float_min <= zero : 0x0 |
| float_min <= NaN : 0x0 |
| float_min <= Inf_plus : 0x1 |
| float_min <= Inf_min : 0x0 |
| float_min <= Inf : 0x1 |
| float_min <= long_max : 0x1 |
| float_min <= long_min : 0x0 |
| float_min <= int_max : 0x1 |
| float_min <= int_min : 0x0 |
| float_min <= uint_max : 0x1 |
| float_min <= ulong_max : 0x1 |
| float_min <= double_min : 0x0 |
| float_min <= double_max : 0x1 |
| float_min <= float_min : 0x1 |
| float_min <= float_max : 0x1 |
| float_min == zero_min : 0x0 |
| float_min == zero_plus : 0x0 |
| float_min == zero : 0x0 |
| float_min == NaN : 0x0 |
| float_min == Inf_plus : 0x0 |
| float_min == Inf_min : 0x0 |
| float_min == Inf : 0x0 |
| float_min == long_max : 0x0 |
| float_min == long_min : 0x0 |
| float_min == int_max : 0x0 |
| float_min == int_min : 0x0 |
| float_min == uint_max : 0x0 |
| float_min == ulong_max : 0x0 |
| float_min == double_min : 0x0 |
| float_min == double_max : 0x0 |
| float_min == float_min : 0x1 |
| float_min == float_max : 0x0 |
| float_min != zero_min : 0x1 |
| float_min != zero_plus : 0x1 |
| float_min != zero : 0x1 |
| float_min != NaN : 0x1 |
| float_min != Inf_plus : 0x1 |
| float_min != Inf_min : 0x1 |
| float_min != Inf : 0x1 |
| float_min != long_max : 0x1 |
| float_min != long_min : 0x1 |
| float_min != int_max : 0x1 |
| float_min != int_min : 0x1 |
| float_min != uint_max : 0x1 |
| float_min != ulong_max : 0x1 |
| float_min != double_min : 0x1 |
| float_min != double_max : 0x1 |
| float_min != float_min : 0x0 |
| float_min != float_max : 0x1 |
| float_min * float_min * zero_min : 0x0 |
| float_min * float_min * zero_plus : 0x0 |
| float_min * float_min * zero : 0x0 |
| float_min * float_min * NaN : NaN |
| float_min * float_min * Inf_plus : Inf |
| float_min * float_min * Inf_min : -Inf |
| float_min * float_min * Inf : Inf |
| float_min * float_min * long_max : 0x.7fffffffffffffffe-47 |
| float_min * float_min * long_min : 0x.8e-47 |
| float_min * float_min * int_max : 0x.7fffffffe-55 |
| float_min * float_min * int_min : 0x.8e-55 |
| float_min * float_min * uint_max : 0x.0ffffffffe-54 |
| float_min * float_min * ulong_max : 0x.0ffffffffffffffffe-46 |
| float_min * float_min * double_min : 0x.4e-318 |
| float_min * float_min * double_max : 0x0fffffffffffff8e+179 |
| float_min * float_min * float_min : 0x.4e-94 |
| float_min * float_min * float_max : 0x.0ffffffe-30 |
| float_max / zero_min : -Inf |
| float_max / zero_plus : Inf |
| float_max / zero : Inf |
| float_max / NaN : NaN |
| float_max / Inf_plus : 0x0 |
| float_max / Inf_min : 0x0 |
| float_max / Inf : 0x0 |
| float_max / long_max : 0x1fffffe0000000002 |
| float_max / long_min : 0xe000002e+10 |
| float_max / int_max : 0x1fffffe03fffffc08e+8 |
| float_max / int_min : 0xe000002e+18 |
| float_max / uint_max : 0x0ffffff00ffffffe+10 |
| float_max / ulong_max : 0x0ffffffe+10 |
| float_max / double_min : 0x3fffffce+281 |
| float_max / double_max : 0x.0ffffff00000008e-223 |
| float_max / float_min : 0x3fffffce+57 |
| float_max / float_max : 0x1 |
| float_max * zero_min : 0x0 |
| float_max * zero_plus : 0x0 |
| float_max * zero : 0x0 |
| float_max * NaN : NaN |
| float_max * Inf_plus : Inf |
| float_max * Inf_min : -Inf |
| float_max * Inf : Inf |
| float_max * long_max : 0x7fffff7fffffffff000001e+26 |
| float_max * long_min : 0x8000008e+41 |
| float_max * int_max : 0x7fffff7f000001e+26 |
| float_max * int_min : 0x8000008e+33 |
| float_max * uint_max : 0x0fffffeff000001e+26 |
| float_max * ulong_max : 0x0fffffeffffffffff000001e+26 |
| float_max * double_min : 0x.3fffffce-223 |
| float_max * double_max : 0x0fffffefffffff8000008e+268 |
| float_max * float_min : 0x3.fffffc |
| float_max * float_max : 0x0fffffe000001e+52 |
| float_max + zero_min : 0x0ffffffe+26 |
| float_max + zero_plus : 0x0ffffffe+26 |
| float_max + zero : 0x0ffffffe+26 |
| float_max + NaN : NaN |
| float_max + Inf_plus : Inf |
| float_max + Inf_min : -Inf |
| float_max + Inf : Inf |
| float_max + long_max : 0x0ffffff00000000007fffffffffffffff |
| float_max + long_min : 0x0fffffeffffffffff8e+15 |
| float_max + int_max : 0x0ffffff0000000000000000007fffffff |
| float_max + int_min : 0x0fffffeffffffffffffffffff8e+7 |
| float_max + uint_max : 0x0ffffff000000000000000000ffffffff |
| float_max + ulong_max : 0x0ffffff0000000000ffffffffffffffff |
| float_max + double_min : 0x0ffffffe+26 |
| float_max + double_max : 0x0fffffffffffff8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffe+26 |
| float_max + float_min : 0x0ffffff00000000000000000000000000.00000000000000000000000000000004 |
| float_max + float_max : 0x1fffffee+26 |
| float_max - zero_min : 0x0ffffffe+26 |
| float_max - zero_plus : 0x0ffffffe+26 |
| float_max - zero : 0x0ffffffe+26 |
| float_max - NaN : NaN |
| float_max - Inf_plus : -Inf |
| float_max - Inf_min : Inf |
| float_max - Inf : -Inf |
| float_max - long_max : 0x0fffffeffffffffff8000000000000001 |
| float_max - long_min : 0x0ffffff00000000008e+15 |
| float_max - int_max : 0x0fffffeffffffffffffffffff80000001 |
| float_max - int_min : 0x0ffffff0000000000000000008e+7 |
| float_max - uint_max : 0x0fffffeffffffffffffffffff00000001 |
| float_max - ulong_max : 0x0fffffeffffffffff0000000000000001 |
| float_max - double_min : 0x0ffffffe+26 |
| float_max - double_max : 0xf00000000000008000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffe+26 |
| float_max - float_min : 0x0fffffeffffffffffffffffffffffffff.fffffffffffffffffffffffffffffffc |
| float_max - float_max : 0x0 |
| float_max > zero_min : 0x1 |
| float_max > zero_plus : 0x1 |
| float_max > zero : 0x1 |
| float_max > NaN : 0x0 |
| float_max > Inf_plus : 0x0 |
| float_max > Inf_min : 0x1 |
| float_max > Inf : 0x0 |
| float_max > long_max : 0x1 |
| float_max > long_min : 0x1 |
| float_max > int_max : 0x1 |
| float_max > int_min : 0x1 |
| float_max > uint_max : 0x1 |
| float_max > ulong_max : 0x1 |
| float_max > double_min : 0x1 |
| float_max > double_max : 0x0 |
| float_max > float_min : 0x1 |
| float_max > float_max : 0x0 |
| float_max < zero_min : 0x0 |
| float_max < zero_plus : 0x0 |
| float_max < zero : 0x0 |
| float_max < NaN : 0x0 |
| float_max < Inf_plus : 0x1 |
| float_max < Inf_min : 0x0 |
| float_max < Inf : 0x1 |
| float_max < long_max : 0x0 |
| float_max < long_min : 0x0 |
| float_max < int_max : 0x0 |
| float_max < int_min : 0x0 |
| float_max < uint_max : 0x0 |
| float_max < ulong_max : 0x0 |
| float_max < double_min : 0x0 |
| float_max < double_max : 0x1 |
| float_max < float_min : 0x0 |
| float_max < float_max : 0x0 |
| float_max >= zero_min : 0x1 |
| float_max >= zero_plus : 0x1 |
| float_max >= zero : 0x1 |
| float_max >= NaN : 0x0 |
| float_max >= Inf_plus : 0x0 |
| float_max >= Inf_min : 0x1 |
| float_max >= Inf : 0x0 |
| float_max >= long_max : 0x1 |
| float_max >= long_min : 0x1 |
| float_max >= int_max : 0x1 |
| float_max >= int_min : 0x1 |
| float_max >= uint_max : 0x1 |
| float_max >= ulong_max : 0x1 |
| float_max >= double_min : 0x1 |
| float_max >= double_max : 0x0 |
| float_max >= float_min : 0x1 |
| float_max >= float_max : 0x1 |
| float_max <= zero_min : 0x0 |
| float_max <= zero_plus : 0x0 |
| float_max <= zero : 0x0 |
| float_max <= NaN : 0x0 |
| float_max <= Inf_plus : 0x1 |
| float_max <= Inf_min : 0x0 |
| float_max <= Inf : 0x1 |
| float_max <= long_max : 0x0 |
| float_max <= long_min : 0x0 |
| float_max <= int_max : 0x0 |
| float_max <= int_min : 0x0 |
| float_max <= uint_max : 0x0 |
| float_max <= ulong_max : 0x0 |
| float_max <= double_min : 0x0 |
| float_max <= double_max : 0x1 |
| float_max <= float_min : 0x0 |
| float_max <= float_max : 0x1 |
| float_max == zero_min : 0x0 |
| float_max == zero_plus : 0x0 |
| float_max == zero : 0x0 |
| float_max == NaN : 0x0 |
| float_max == Inf_plus : 0x0 |
| float_max == Inf_min : 0x0 |
| float_max == Inf : 0x0 |
| float_max == long_max : 0x0 |
| float_max == long_min : 0x0 |
| float_max == int_max : 0x0 |
| float_max == int_min : 0x0 |
| float_max == uint_max : 0x0 |
| float_max == ulong_max : 0x0 |
| float_max == double_min : 0x0 |
| float_max == double_max : 0x0 |
| float_max == float_min : 0x0 |
| float_max == float_max : 0x1 |
| float_max != zero_min : 0x1 |
| float_max != zero_plus : 0x1 |
| float_max != zero : 0x1 |
| float_max != NaN : 0x1 |
| float_max != Inf_plus : 0x1 |
| float_max != Inf_min : 0x1 |
| float_max != Inf : 0x1 |
| float_max != long_max : 0x1 |
| float_max != long_min : 0x1 |
| float_max != int_max : 0x1 |
| float_max != int_min : 0x1 |
| float_max != uint_max : 0x1 |
| float_max != ulong_max : 0x1 |
| float_max != double_min : 0x1 |
| float_max != double_max : 0x1 |
| float_max != float_min : 0x1 |
| float_max != float_max : 0x0 |
| float_max * float_max * zero_min : 0x0 |
| float_max * float_max * zero_plus : 0x0 |
| float_max * float_max * zero : 0x0 |
| float_max * float_max * NaN : NaN |
| float_max * float_max * Inf_plus : Inf |
| float_max * float_max * Inf_min : -Inf |
| float_max * float_max * Inf : Inf |
| float_max * float_max * long_max : 0x7fffff0000007fff000001ffffffe+52 |
| float_max * float_max * long_min : 0x800000ffffff8e+67 |
| float_max * float_max * int_max : 0x7ffffeff000081ffffffe+52 |
| float_max * float_max * int_min : 0x800000ffffff8e+59 |
| float_max * float_max * uint_max : 0x0fffffdff000101ffffffe+52 |
| float_max * float_max * ulong_max : 0x0fffffe000000ffff000001ffffffe+52 |
| float_max * float_max * double_min : 0x.3fffff8000004e-191 |
| float_max * float_max * double_max : 0x0fffffe000000f800000ffffff8e+294 |
| float_max * float_max * float_min : 0x3fffff8000004e+20 |
| float_max * float_max * float_max : 0x0fffffd000002ffffffe+78 |
| double_min / NaN : NaN |
| ****************** limits fx_ufix |
| ****************** limits fx_ufix_zero |
| zero_min : 0x000000000 |
| zero_plus : 0x000000000 |
| zero : 0x000000000 |
| long_max : 0x0ffffffff |
| long_min : 0x000000000 |
| int_max : 0x07fffffff |
| int_min : 0x080000000 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffff |
| double_min : 0x000000000 |
| double_max : 0x000000000 |
| float_min : 0x000000000 |
| float_max : 0x000000000 |
| ****************** limits fx_ufix_Inf |
| zero_min : 0x000000000 |
| zero_plus : 0x000000000 |
| zero : 0x000000000 |
| long_max : 0x0ffffffff |
| long_min : 0x000000000 |
| int_max : 0x07fffffff |
| int_min : 0x080000000 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffff |
| double_min : 0x000000000 |
| double_max : 0x000000000 |
| float_min : 0x000000000 |
| float_max : 0x000000000 |
| ****************** limits fx_ufix_long |
| zero_min : 0x000000000 |
| zero_plus : 0x000000000 |
| zero : 0x000000000 |
| long_max : 0x0ffffffff |
| long_min : 0x000000000 |
| int_max : 0x07fffffff |
| int_min : 0x080000000 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffff |
| double_min : 0x000000000 |
| double_max : 0x000000000 |
| float_min : 0x000000000 |
| float_max : 0x000000000 |
| ****************** limits fx_ufix_double |
| zero_min : 0x000000000 |
| zero_plus : 0x000000000 |
| zero : 0x000000000 |
| long_max : 0x0ffffffff |
| long_min : 0x000000000 |
| int_max : 0x07fffffff |
| int_min : 0x080000000 |
| uint_max : 0x0ffffffff |
| ulong_max : 0x0ffffffff |
| double_min : 0x000000000 |
| double_max : 0x000000000 |
| float_min : 0x000000000 |
| float_max : 0x000000000 |
| ****************** limits fx_fix |
| ****************** limits fx_fix_zero |
| zero_min : 0x00000000 |
| zero_plus : 0x00000000 |
| zero : 0x00000000 |
| long_max : 0xffffffff |
| long_min : 0x00000000 |
| int_max : 0x7fffffff |
| int_min : 0x80000000 |
| uint_max : 0xffffffff |
| ulong_max : 0xffffffff |
| double_min : 0x00000000 |
| double_max : 0x00000000 |
| float_min : 0x00000000 |
| float_max : 0x00000000 |
| ****************** limits fx_fix_Inf |
| zero_min : 0x00000000 |
| zero_plus : 0x00000000 |
| zero : 0x00000000 |
| long_max : 0xffffffff |
| long_min : 0x00000000 |
| int_max : 0x7fffffff |
| int_min : 0x80000000 |
| uint_max : 0xffffffff |
| ulong_max : 0xffffffff |
| double_min : 0x00000000 |
| double_max : 0x00000000 |
| float_min : 0x00000000 |
| float_max : 0x00000000 |
| ****************** limits fx_fix_long |
| zero_min : 0x00000000 |
| zero_plus : 0x00000000 |
| zero : 0x00000000 |
| long_max : 0xffffffff |
| long_min : 0x00000000 |
| int_max : 0x7fffffff |
| int_min : 0x80000000 |
| uint_max : 0xffffffff |
| ulong_max : 0xffffffff |
| double_min : 0x00000000 |
| double_max : 0x00000000 |
| float_min : 0x00000000 |
| float_max : 0x00000000 |
| ****************** limits fx_fix_double |
| zero_min : 0x00000000 |
| zero_plus : 0x00000000 |
| zero : 0x00000000 |
| long_max : 0xffffffff |
| long_min : 0x00000000 |
| int_max : 0x7fffffff |
| int_min : 0x80000000 |
| uint_max : 0xffffffff |
| ulong_max : 0xffffffff |
| double_min : 0x00000000 |
| double_max : 0x00000000 |
| float_min : 0x00000000 |
| float_max : 0x00000000 |
| ****************** limits fx_fixed<8, 5> |
| ****************** limits fx_fixed<8, 5>_zero |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0xff.0 |
| long_min : 0x00.0 |
| int_max : 0xff.0 |
| int_min : 0x00.0 |
| uint_max : 0xff.0 |
| ulong_max : 0xff.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |
| ****************** limits fx_fixed<8, 5>_Inf |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0xff.0 |
| long_min : 0x00.0 |
| int_max : 0xff.0 |
| int_min : 0x00.0 |
| uint_max : 0xff.0 |
| ulong_max : 0xff.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |
| ****************** limits fx_fixed<8, 5>_long |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0xff.0 |
| long_min : 0x00.0 |
| int_max : 0xff.0 |
| int_min : 0x00.0 |
| uint_max : 0xff.0 |
| ulong_max : 0xff.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |
| ****************** limits fx_fixed<8, 5>_double |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0xff.0 |
| long_min : 0x00.0 |
| int_max : 0xff.0 |
| int_min : 0x00.0 |
| uint_max : 0xff.0 |
| ulong_max : 0xff.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |
| ****************** limits fx_ufixed<8, 5> |
| ****************** limits fx_ufixed<8, 5>_zero |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0x1f.0 |
| long_min : 0x00.0 |
| int_max : 0x1f.0 |
| int_min : 0x00.0 |
| uint_max : 0x1f.0 |
| ulong_max : 0x1f.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |
| ****************** limits fx_ufixed<8, 5>_Inf |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0x1f.0 |
| long_min : 0x00.0 |
| int_max : 0x1f.0 |
| int_min : 0x00.0 |
| uint_max : 0x1f.0 |
| ulong_max : 0x1f.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |
| ****************** limits fx_ufixed<8, 5>_long |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0x1f.0 |
| long_min : 0x00.0 |
| int_max : 0x1f.0 |
| int_min : 0x00.0 |
| uint_max : 0x1f.0 |
| ulong_max : 0x1f.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |
| ****************** limits fx_ufixed<8, 5>_double |
| zero_min : 0x00.0 |
| zero_plus : 0x00.0 |
| zero : 0x00.0 |
| long_max : 0x1f.0 |
| long_min : 0x00.0 |
| int_max : 0x1f.0 |
| int_min : 0x00.0 |
| uint_max : 0x1f.0 |
| ulong_max : 0x1f.0 |
| double_min : 0x00.0 |
| double_max : 0x00.0 |
| float_min : 0x00.0 |
| float_max : 0x00.0 |