# dmath_floor
# 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 69946c59a7110e87
# 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 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=0x0.0p+0
least_subnormal 0000000000000001 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal 8000000000000001 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
third_subnormal 0000000000000003 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal 8000000000000003 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
largest_subnormal 000fffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal 800fffffffffffff 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
least_normal 0010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal 8010000000000000 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
largest_finite 7fefffffffffffff 0000000000000000 7fefffffffffffff 0000000000000000 7fefffffffffffff 0000000000000000 0 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite ffefffffffffffff 0000000000000000 ffefffffffffffff 0000000000000000 ffefffffffffffff 0000000000000000 0 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
positive_infinity 7ff0000000000000 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 0 # x=inf y=0x0.0p+0
negative_infinity fff0000000000000 0000000000000000 -inf 0000000000000000 -inf 0000000000000000 0 # x=-inf y=0x0.0p+0
quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
signaling_nan_payload 7ff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
negative_signaling_nan_payload fff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
unit_below 3fefffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.fffffffffffffp-1 y=0x0.0p+0
unit_at 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 0 # x=0x1.0000000000000p+0 y=0x0.0p+0
unit_above 3ff0000000000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 0 # x=0x1.0000000000001p+0 y=0x0.0p+0
negative_unit_below bfefffffffffffff 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp-1 y=0x0.0p+0
negative_unit_at bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x1.0000000000000p+0 y=0x0.0p+0
negative_unit_above bff0000000000001 0000000000000000 c000000000000000 0000000000000000 c000000000000000 0000000000000000 0 # x=-0x1.0000000000001p+0 y=0x0.0p+0
half_below 3fdfffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.fffffffffffffp-2 y=0x0.0p+0
half_at 3fe0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.0000000000000p-1 y=0x0.0p+0
half_above 3fe0000000000001 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.0000000000001p-1 y=0x0.0p+0
negative_half_below bfdfffffffffffff 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp-2 y=0x0.0p+0
negative_half_at bfe0000000000000 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x1.0000000000000p-1 y=0x0.0p+0
negative_half_above bfe0000000000001 0000000000000000 bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 0 # x=-0x1.0000000000001p-1 y=0x0.0p+0
word_split_below 412fffffffffffff 0000000000000000 412ffffe00000000 0000000000000000 412ffffe00000000 0000000000000000 0 # x=0x1.fffffffffffffp+19 y=0x0.0p+0
word_split_at 4130000000000000 0000000000000000 4130000000000000 0000000000000000 4130000000000000 0000000000000000 0 # x=0x1.0000000000000p+20 y=0x0.0p+0
word_split_above 4130000000000001 0000000000000000 4130000000000000 0000000000000000 4130000000000000 0000000000000000 0 # x=0x1.0000000000001p+20 y=0x0.0p+0
negative_word_split_below c12fffffffffffff 0000000000000000 c130000000000000 0000000000000000 c130000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp+19 y=0x0.0p+0
negative_word_split_at c130000000000000 0000000000000000 c130000000000000 0000000000000000 c130000000000000 0000000000000000 0 # x=-0x1.0000000000000p+20 y=0x0.0p+0
negative_word_split_above c130000000000001 0000000000000000 c130000100000000 0000000000000000 c130000100000000 0000000000000000 0 # x=-0x1.0000000000001p+20 y=0x0.0p+0
signed32_below 41dfffffffffffff 0000000000000000 41dfffffffc00000 0000000000000000 41dfffffffc00000 0000000000000000 0 # x=0x1.fffffffffffffp+30 y=0x0.0p+0
signed32_at 41e0000000000000 0000000000000000 41e0000000000000 0000000000000000 41e0000000000000 0000000000000000 0 # x=0x1.0000000000000p+31 y=0x0.0p+0
signed32_above 41e0000000000001 0000000000000000 41e0000000000000 0000000000000000 41e0000000000000 0000000000000000 0 # x=0x1.0000000000001p+31 y=0x0.0p+0
negative_signed32_below c1dfffffffffffff 0000000000000000 c1e0000000000000 0000000000000000 c1e0000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp+30 y=0x0.0p+0
negative_signed32_at c1e0000000000000 0000000000000000 c1e0000000000000 0000000000000000 c1e0000000000000 0000000000000000 0 # x=-0x1.0000000000000p+31 y=0x0.0p+0
negative_signed32_above c1e0000000000001 0000000000000000 c1e0000000200000 0000000000000000 c1e0000000200000 0000000000000000 0 # x=-0x1.0000000000001p+31 y=0x0.0p+0
last_fractional_binade_below 431fffffffffffff 0000000000000000 431ffffffffffffc 0000000000000000 431ffffffffffffc 0000000000000000 0 # x=0x1.fffffffffffffp+50 y=0x0.0p+0
last_fractional_binade_at 4320000000000000 0000000000000000 4320000000000000 0000000000000000 4320000000000000 0000000000000000 0 # x=0x1.0000000000000p+51 y=0x0.0p+0
last_fractional_binade_above 4320000000000001 0000000000000000 4320000000000000 0000000000000000 4320000000000000 0000000000000000 0 # x=0x1.0000000000001p+51 y=0x0.0p+0
negative_last_fractional_binade_below c31fffffffffffff 0000000000000000 c320000000000000 0000000000000000 c320000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp+50 y=0x0.0p+0
negative_last_fractional_binade_at c320000000000000 0000000000000000 c320000000000000 0000000000000000 c320000000000000 0000000000000000 0 # x=-0x1.0000000000000p+51 y=0x0.0p+0
negative_last_fractional_binade_above c320000000000001 0000000000000000 c320000000000002 0000000000000000 c320000000000002 0000000000000000 0 # x=-0x1.0000000000001p+51 y=0x0.0p+0
integral_binade_below 432fffffffffffff 0000000000000000 432ffffffffffffe 0000000000000000 432ffffffffffffe 0000000000000000 0 # x=0x1.fffffffffffffp+51 y=0x0.0p+0
integral_binade_at 4330000000000000 0000000000000000 4330000000000000 0000000000000000 4330000000000000 0000000000000000 0 # x=0x1.0000000000000p+52 y=0x0.0p+0
integral_binade_above 4330000000000001 0000000000000000 4330000000000001 0000000000000000 4330000000000001 0000000000000000 0 # x=0x1.0000000000001p+52 y=0x0.0p+0
negative_integral_binade_below c32fffffffffffff 0000000000000000 c330000000000000 0000000000000000 c330000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp+51 y=0x0.0p+0
negative_integral_binade_at c330000000000000 0000000000000000 c330000000000000 0000000000000000 c330000000000000 0000000000000000 0 # x=-0x1.0000000000000p+52 y=0x0.0p+0
negative_integral_binade_above c330000000000001 0000000000000000 c330000000000001 0000000000000000 c330000000000001 0000000000000000 0 # x=-0x1.0000000000001p+52 y=0x0.0p+0
signed64_below 43dfffffffffffff 0000000000000000 43dfffffffffffff 0000000000000000 43dfffffffffffff 0000000000000000 0 # x=0x1.fffffffffffffp+62 y=0x0.0p+0
signed64_at 43e0000000000000 0000000000000000 43e0000000000000 0000000000000000 43e0000000000000 0000000000000000 0 # x=0x1.0000000000000p+63 y=0x0.0p+0
signed64_above 43e0000000000001 0000000000000000 43e0000000000001 0000000000000000 43e0000000000001 0000000000000000 0 # x=0x1.0000000000001p+63 y=0x0.0p+0
negative_signed64_below c3dfffffffffffff 0000000000000000 c3dfffffffffffff 0000000000000000 c3dfffffffffffff 0000000000000000 0 # x=-0x1.fffffffffffffp+62 y=0x0.0p+0
negative_signed64_at c3e0000000000000 0000000000000000 c3e0000000000000 0000000000000000 c3e0000000000000 0000000000000000 0 # x=-0x1.0000000000000p+63 y=0x0.0p+0
negative_signed64_above c3e0000000000001 0000000000000000 c3e0000000000001 0000000000000000 c3e0000000000001 0000000000000000 0 # x=-0x1.0000000000001p+63 y=0x0.0p+0
down_from_positive_fraction 4037f00000000000 0000000000000000 4037000000000000 0000000000000000 4037000000000000 0000000000000000 0 # x=0x1.7f00000000000p+4 y=0x0.0p+0
down_from_negative_fraction c037f00000000000 0000000000000000 c038000000000000 0000000000000000 c038000000000000 0000000000000000 0 # x=-0x1.7f00000000000p+4 y=0x0.0p+0