pocketpy/tests/dmath/cases/modf.txt

# dmath_modf
# Independent oracle: Decimal at 430 and 570 digits / exact Fraction arithmetic.
# Frozen bits and sweep require review; generation never recalibrates them.
# Nonfinite outputs: nan checks classification; +/-inf checks classification and sign.
# sweep c0ce491f711d62b2
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_zero 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0p+0 y=0x0.0p+0
negative_zero 8000000000000000 0000000000000000 8000000000000000 8000000000000000 8000000000000000 8000000000000000 0 # x=-0x0.0p+0 y=0x0.0p+0
least_subnormal 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal 8000000000000001 0000000000000000 8000000000000001 8000000000000000 8000000000000001 8000000000000000 0 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
third_subnormal 0000000000000003 0000000000000000 0000000000000003 0000000000000000 0000000000000003 0000000000000000 0 # x=0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal 8000000000000003 0000000000000000 8000000000000003 8000000000000000 8000000000000003 8000000000000000 0 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
largest_subnormal 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 0 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal 800fffffffffffff 0000000000000000 800fffffffffffff 8000000000000000 800fffffffffffff 8000000000000000 0 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
least_normal 0010000000000000 0000000000000000 0010000000000000 0000000000000000 0010000000000000 0000000000000000 0 # x=0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal 8010000000000000 0000000000000000 8010000000000000 8000000000000000 8010000000000000 8000000000000000 0 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
largest_finite 7fefffffffffffff 0000000000000000 0000000000000000 7fefffffffffffff 0000000000000000 7fefffffffffffff 0 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite ffefffffffffffff 0000000000000000 8000000000000000 ffefffffffffffff 8000000000000000 ffefffffffffffff 0 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
positive_infinity 7ff0000000000000 0000000000000000 0000000000000000 +inf 0000000000000000 +inf 0 # x=inf y=0x0.0p+0
negative_infinity fff0000000000000 0000000000000000 8000000000000000 -inf 8000000000000000 -inf 0 # x=-inf y=0x0.0p+0
quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan nan nan nan 0 # x=nan y=0x0.0p+0
negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan nan nan nan 0 # x=nan y=0x0.0p+0
signaling_nan_payload 7ff0000000010248 0000000000000000 nan nan nan nan 0 # x=nan y=0x0.0p+0
negative_signaling_nan_payload fff0000000010248 0000000000000000 nan nan nan nan 0 # x=nan y=0x0.0p+0
unit_below 3fefffffffffffff 0000000000000000 3fefffffffffffff 0000000000000000 3fefffffffffffff 0000000000000000 0 # x=0x1.fffffffffffffp-1 y=0x0.0p+0
unit_at 3ff0000000000000 0000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0 # x=0x1.0000000000000p+0 y=0x0.0p+0
unit_above 3ff0000000000001 0000000000000000 3cb0000000000000 3ff0000000000000 3cb0000000000000 3ff0000000000000 0 # x=0x1.0000000000001p+0 y=0x0.0p+0
negative_unit_below bfefffffffffffff 0000000000000000 bfefffffffffffff 8000000000000000 bfefffffffffffff 8000000000000000 0 # x=-0x1.fffffffffffffp-1 y=0x0.0p+0
negative_unit_at bff0000000000000 0000000000000000 8000000000000000 bff0000000000000 8000000000000000 bff0000000000000 0 # x=-0x1.0000000000000p+0 y=0x0.0p+0
negative_unit_above bff0000000000001 0000000000000000 bcb0000000000000 bff0000000000000 bcb0000000000000 bff0000000000000 0 # x=-0x1.0000000000001p+0 y=0x0.0p+0
half_below 3fdfffffffffffff 0000000000000000 3fdfffffffffffff 0000000000000000 3fdfffffffffffff 0000000000000000 0 # x=0x1.fffffffffffffp-2 y=0x0.0p+0
half_at 3fe0000000000000 0000000000000000 3fe0000000000000 0000000000000000 3fe0000000000000 0000000000000000 0 # x=0x1.0000000000000p-1 y=0x0.0p+0
half_above 3fe0000000000001 0000000000000000 3fe0000000000001 0000000000000000 3fe0000000000001 0000000000000000 0 # x=0x1.0000000000001p-1 y=0x0.0p+0
negative_half_below bfdfffffffffffff 0000000000000000 bfdfffffffffffff 8000000000000000 bfdfffffffffffff 8000000000000000 0 # x=-0x1.fffffffffffffp-2 y=0x0.0p+0
negative_half_at bfe0000000000000 0000000000000000 bfe0000000000000 8000000000000000 bfe0000000000000 8000000000000000 0 # x=-0x1.0000000000000p-1 y=0x0.0p+0
negative_half_above bfe0000000000001 0000000000000000 bfe0000000000001 8000000000000000 bfe0000000000001 8000000000000000 0 # x=-0x1.0000000000001p-1 y=0x0.0p+0
word_split_below 412fffffffffffff 0000000000000000 3feffffffff00000 412ffffe00000000 3feffffffff00000 412ffffe00000000 0 # x=0x1.fffffffffffffp+19 y=0x0.0p+0
word_split_at 4130000000000000 0000000000000000 0000000000000000 4130000000000000 0000000000000000 4130000000000000 0 # x=0x1.0000000000000p+20 y=0x0.0p+0
word_split_above 4130000000000001 0000000000000000 3df0000000000000 4130000000000000 3df0000000000000 4130000000000000 0 # x=0x1.0000000000001p+20 y=0x0.0p+0
negative_word_split_below c12fffffffffffff 0000000000000000 bfeffffffff00000 c12ffffe00000000 bfeffffffff00000 c12ffffe00000000 0 # x=-0x1.fffffffffffffp+19 y=0x0.0p+0
negative_word_split_at c130000000000000 0000000000000000 8000000000000000 c130000000000000 8000000000000000 c130000000000000 0 # x=-0x1.0000000000000p+20 y=0x0.0p+0
negative_word_split_above c130000000000001 0000000000000000 bdf0000000000000 c130000000000000 bdf0000000000000 c130000000000000 0 # x=-0x1.0000000000001p+20 y=0x0.0p+0
signed32_below 41dfffffffffffff 0000000000000000 3fefffff80000000 41dfffffffc00000 3fefffff80000000 41dfffffffc00000 0 # x=0x1.fffffffffffffp+30 y=0x0.0p+0
signed32_at 41e0000000000000 0000000000000000 0000000000000000 41e0000000000000 0000000000000000 41e0000000000000 0 # x=0x1.0000000000000p+31 y=0x0.0p+0
signed32_above 41e0000000000001 0000000000000000 3ea0000000000000 41e0000000000000 3ea0000000000000 41e0000000000000 0 # x=0x1.0000000000001p+31 y=0x0.0p+0
negative_signed32_below c1dfffffffffffff 0000000000000000 bfefffff80000000 c1dfffffffc00000 bfefffff80000000 c1dfffffffc00000 0 # x=-0x1.fffffffffffffp+30 y=0x0.0p+0
negative_signed32_at c1e0000000000000 0000000000000000 8000000000000000 c1e0000000000000 8000000000000000 c1e0000000000000 0 # x=-0x1.0000000000000p+31 y=0x0.0p+0
negative_signed32_above c1e0000000000001 0000000000000000 bea0000000000000 c1e0000000000000 bea0000000000000 c1e0000000000000 0 # x=-0x1.0000000000001p+31 y=0x0.0p+0
last_fractional_binade_below 431fffffffffffff 0000000000000000 3fe8000000000000 431ffffffffffffc 3fe8000000000000 431ffffffffffffc 0 # x=0x1.fffffffffffffp+50 y=0x0.0p+0
last_fractional_binade_at 4320000000000000 0000000000000000 0000000000000000 4320000000000000 0000000000000000 4320000000000000 0 # x=0x1.0000000000000p+51 y=0x0.0p+0
last_fractional_binade_above 4320000000000001 0000000000000000 3fe0000000000000 4320000000000000 3fe0000000000000 4320000000000000 0 # x=0x1.0000000000001p+51 y=0x0.0p+0
negative_last_fractional_binade_below c31fffffffffffff 0000000000000000 bfe8000000000000 c31ffffffffffffc bfe8000000000000 c31ffffffffffffc 0 # x=-0x1.fffffffffffffp+50 y=0x0.0p+0
negative_last_fractional_binade_at c320000000000000 0000000000000000 8000000000000000 c320000000000000 8000000000000000 c320000000000000 0 # x=-0x1.0000000000000p+51 y=0x0.0p+0
negative_last_fractional_binade_above c320000000000001 0000000000000000 bfe0000000000000 c320000000000000 bfe0000000000000 c320000000000000 0 # x=-0x1.0000000000001p+51 y=0x0.0p+0
integral_binade_below 432fffffffffffff 0000000000000000 3fe0000000000000 432ffffffffffffe 3fe0000000000000 432ffffffffffffe 0 # x=0x1.fffffffffffffp+51 y=0x0.0p+0
integral_binade_at 4330000000000000 0000000000000000 0000000000000000 4330000000000000 0000000000000000 4330000000000000 0 # x=0x1.0000000000000p+52 y=0x0.0p+0
integral_binade_above 4330000000000001 0000000000000000 0000000000000000 4330000000000001 0000000000000000 4330000000000001 0 # x=0x1.0000000000001p+52 y=0x0.0p+0
negative_integral_binade_below c32fffffffffffff 0000000000000000 bfe0000000000000 c32ffffffffffffe bfe0000000000000 c32ffffffffffffe 0 # x=-0x1.fffffffffffffp+51 y=0x0.0p+0
negative_integral_binade_at c330000000000000 0000000000000000 8000000000000000 c330000000000000 8000000000000000 c330000000000000 0 # x=-0x1.0000000000000p+52 y=0x0.0p+0
negative_integral_binade_above c330000000000001 0000000000000000 8000000000000000 c330000000000001 8000000000000000 c330000000000001 0 # x=-0x1.0000000000001p+52 y=0x0.0p+0
signed64_below 43dfffffffffffff 0000000000000000 0000000000000000 43dfffffffffffff 0000000000000000 43dfffffffffffff 0 # x=0x1.fffffffffffffp+62 y=0x0.0p+0
signed64_at 43e0000000000000 0000000000000000 0000000000000000 43e0000000000000 0000000000000000 43e0000000000000 0 # x=0x1.0000000000000p+63 y=0x0.0p+0
signed64_above 43e0000000000001 0000000000000000 0000000000000000 43e0000000000001 0000000000000000 43e0000000000001 0 # x=0x1.0000000000001p+63 y=0x0.0p+0
negative_signed64_below c3dfffffffffffff 0000000000000000 8000000000000000 c3dfffffffffffff 8000000000000000 c3dfffffffffffff 0 # x=-0x1.fffffffffffffp+62 y=0x0.0p+0
negative_signed64_at c3e0000000000000 0000000000000000 8000000000000000 c3e0000000000000 8000000000000000 c3e0000000000000 0 # x=-0x1.0000000000000p+63 y=0x0.0p+0
negative_signed64_above c3e0000000000001 0000000000000000 8000000000000000 c3e0000000000001 8000000000000000 c3e0000000000001 0 # x=-0x1.0000000000001p+63 y=0x0.0p+0
split_positive 40603a0000000000 0000000000000000 3fea000000000000 4060200000000000 3fea000000000000 4060200000000000 0 # x=0x1.03a0000000000p+7 y=0x0.0p+0
split_negative c0603a0000000000 0000000000000000 bfea000000000000 c060200000000000 bfea000000000000 c060200000000000 0 # x=-0x1.03a0000000000p+7 y=0x0.0p+0
exact_negative_integer c060200000000000 0000000000000000 8000000000000000 c060200000000000 8000000000000000 c060200000000000 0 # x=-0x1.0200000000000p+7 y=0x0.0p+0