# dmath_fmin
# 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 d04c5dd56b25eefe
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
ordered_pair_0 0000000000000000 8000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=0x0.0p+0 y=-0x0.0p+0
ordered_pair_1 8000000000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=0x0.0p+0
ordered_pair_2 8000000000000000 8000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=-0x0.0p+0
ordered_pair_3 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0p+0 y=0x0.0p+0
ordered_pair_4 c01e800000000000 4009800000000000 c01e800000000000 0000000000000000 c01e800000000000 0000000000000000 0 # x=-0x1.e800000000000p+2 y=0x1.9800000000000p+1
ordered_pair_5 0000000000000001 0000000000000003 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=0x0.0000000000001p-1022 y=0x0.0000000000003p-1022
ordered_pair_6 7ff0000000000000 4026400000000000 4026400000000000 0000000000000000 4026400000000000 0000000000000000 0 # x=inf y=0x1.6400000000000p+3
ordered_pair_7 fff0000000000000 c026400000000000 -inf 0000000000000000 -inf 0000000000000000 0 # x=-inf y=-0x1.6400000000000p+3
quiet_nan_payload_left 7ff8abcdef135790 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
quiet_nan_payload_right 402a800000000000 7ff8abcdef135790 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
quiet_nan_payload_both 7ff8abcdef135790 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
negative_quiet_nan_payload_left fff8abcdef135790 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
negative_quiet_nan_payload_right 402a800000000000 fff8abcdef135790 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
negative_quiet_nan_payload_both fff8abcdef135790 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
signaling_nan_payload_left 7ff0000000010248 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
signaling_nan_payload_right 402a800000000000 7ff0000000010248 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
signaling_nan_payload_both 7ff0000000010248 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
negative_signaling_nan_payload_left fff0000000010248 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
negative_signaling_nan_payload_right 402a800000000000 fff0000000010248 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
negative_signaling_nan_payload_both fff0000000010248 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
equal_negative_numbers c033e00000000000 c033e00000000000 c033e00000000000 0000000000000000 c033e00000000000 0000000000000000 0 # x=-0x1.3e00000000000p+4 y=-0x1.3e00000000000p+4