# dmath_log2
# 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 537fb9330277766b
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_zero 0000000000000000 0000000000000000 -inf 0000000000000000 -inf 0000000000000000 1 # x=0x0.0p+0 y=0x0.0p+0
negative_zero 8000000000000000 0000000000000000 -inf 0000000000000000 -inf 0000000000000000 1 # x=-0x0.0p+0 y=0x0.0p+0
least_subnormal 0000000000000001 0000000000000000 c090c80000000000 0000000000000000 c090c80000000000 0000000000000000 1 # x=0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal 8000000000000001 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
third_subnormal 0000000000000003 0000000000000000 c090c1a8ff971811 0000000000000000 c090c1a8ff971811 0000000000000000 1 # x=0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal 8000000000000003 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
largest_subnormal 000fffffffffffff 0000000000000000 c08ff00000000000 0000000000000000 c08ff00000000000 0000000000000000 1 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal 800fffffffffffff 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
least_normal 0010000000000000 0000000000000000 c08ff00000000000 0000000000000000 c08ff00000000000 0000000000000000 1 # x=0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal 8010000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
largest_finite 7fefffffffffffff 0000000000000000 4090000000000000 0000000000000000 4090000000000000 0000000000000000 1 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite ffefffffffffffff 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
positive_infinity 7ff0000000000000 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 1 # x=inf y=0x0.0p+0
negative_infinity fff0000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-inf y=0x0.0p+0
quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
signaling_nan_payload 7ff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
negative_signaling_nan_payload fff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
near_one_below 3fefffffffffffff 0000000000000000 bca71547652b82fe 0000000000000000 bca71547652b82fe 0000000000000000 1 # x=0x1.fffffffffffffp-1 y=0x0.0p+0
near_one_at 3ff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=0x1.0000000000000p+0 y=0x0.0p+0
near_one_above 3ff0000000000001 0000000000000000 3cb71547652b82fd 0000000000000000 3cb71547652b82fd 0000000000000000 1 # x=0x1.0000000000001p+0 y=0x0.0p+0
normalize_below 3ff6a09dffffffff 0000000000000000 3fdffffe5dc146cc 0000000000000000 3fdffffe5dc146cc 0000000000000000 1 # x=0x1.6a09dffffffffp+0 y=0x0.0p+0
normalize_at 3ff6a09e00000000 0000000000000000 3fdffffe5dc146d0 0000000000000000 3fdffffe5dc146d0 0000000000000000 1 # x=0x1.6a09e00000000p+0 y=0x0.0p+0
normalize_above 3ff6a09e00000001 0000000000000000 3fdffffe5dc146d4 0000000000000000 3fdffffe5dc146d4 0000000000000000 1 # x=0x1.6a09e00000001p+0 y=0x0.0p+0
less_than_one 3fc6000000000000 0000000000000000 c004531583f9a2be 0000000000000000 c004531583f9a2be 0000000000000000 1 # x=0x1.6000000000000p-3 y=0x0.0p+0
greater_than_one 4037900000000000 0000000000000000 40123bd2a3b39775 0000000000000000 40123bd2a3b39775 0000000000000000 1 # x=0x1.7900000000000p+4 y=0x0.0p+0
exact_binary_power 0ce0000000000000 0000000000000000 c089880000000000 0000000000000000 c089880000000000 0000000000000000 1 # x=0x1.0000000000000p-817 y=0x0.0p+0
exact_subnormal_power 0000000000200000 0000000000000000 c090740000000000 0000000000000000 c090740000000000 0000000000000000 1 # x=0x0.0000000200000p-1022 y=0x0.0p+0