/* ---------------------------------------------------------------------------------------------------*/ /* Port of the Intel Decimal Floating-Point Math Library decimal128 type to Rust. */ /* decmathlib-rs - Copyright (C) 2023-2024 Carlos Guzmán Álvarez */ /* -------------------------------------------------------------------------------------------------- */ /* Licensed under the MIT license. See LICENSE file in the project root for full license information. */ /* -------------------------------------------------------------------------------------------------- */ /* Intel® Decimal Floating-Point Math Library - Copyright (c) 2018, Intel Corp. */ /* -------------------------------------------------------------------------------------------------- */ mod common; dec_test!(bid128_signaling_greater_unordered_001, bid128_signaling_greater_unordered, 0x00000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_002, bid128_signaling_greater_unordered, 0x00000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_003, bid128_signaling_greater_unordered, 0x00000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_004, bid128_signaling_greater_unordered, 0x00000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_005, bid128_signaling_greater_unordered, 0x00000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_006, bid128_signaling_greater_unordered, 0x00000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_007, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_008, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_009, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_010, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_011, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_012, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_013, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_014, bid128_signaling_greater_unordered, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_015, bid128_signaling_greater_unordered, 0x0004000000000000000000003b9dd75fu128, 0x00060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_016, bid128_signaling_greater_unordered, 0x0004000000000000000000003b9dd75fu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_017, bid128_signaling_greater_unordered, 0x0004000000000000000000003b9dd75fu128, 0x80060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_018, bid128_signaling_greater_unordered, 0x0004000000000000000000003b9dd75fu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_019, bid128_signaling_greater_unordered, 0x00060000000000000000000005f62f23u128, 0x00060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_020, bid128_signaling_greater_unordered, 0x00060000000000000000000005f62f23u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_021, bid128_signaling_greater_unordered, 0x00060000000000000000000005f62f23u128, 0x80060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_022, bid128_signaling_greater_unordered, 0x00060000000000000000000005f62f23u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_023, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_024, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_025, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x60000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_026, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x6003b75d7734cd9e1234567890123456u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_027, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_028, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x78000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_029, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x7c000001000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_030, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x7c003fffffffffffffffffffffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_031, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0x7e100001000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_032, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_033, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0xf8000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_034, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0xfc000001000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_035, bid128_signaling_greater_unordered, 0x10000000000000000000000000000000u128, 0xfe200000000000100000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_036, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_037, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x10000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_038, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_039, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x5fffed09bead87c0378d8e63ffffffffu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_040, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x60000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_041, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x6003b75d7734cd9e1234567890123456u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_042, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_043, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x78000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_044, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x78000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_045, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_046, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x7c000001000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_047, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x7c003fffffffffffffffffffffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_048, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0x7e100001000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_049, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_050, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xb8000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_051, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xdfffed09bead87c0378d8e63ffffffffu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_052, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xf8000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_053, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xf8000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_054, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_055, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xfc000001000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_056, bid128_signaling_greater_unordered, 0x302e000000000000000000001e1a7589u128, 0xfe200000000000100000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_057, bid128_signaling_greater_unordered, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_058, bid128_signaling_greater_unordered, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000003u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_059, bid128_signaling_greater_unordered, 0x303e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_060, bid128_signaling_greater_unordered, 0x303e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_061, bid128_signaling_greater_unordered, 0x303e0000000000020000000000000000u128, 0x303e0000000000010000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_062, bid128_signaling_greater_unordered, 0x303e0000000000020000000000000000u128, 0x303e0000000000030000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_063, bid128_signaling_greater_unordered, 0x30400000001faa9fc5dcff096007ffffu128, 0x306600000000000000000000003a6a15u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_064, bid128_signaling_greater_unordered, 0x30400000001faa9fc5dcff0960080000u128, 0x306600000000000000000000003a6a15u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_065, bid128_signaling_greater_unordered, 0x30400000001faa9fc5dcff0960080001u128, 0x306600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_066, bid128_signaling_greater_unordered, 0x3040000000fd54fe2ee7f84b003fffffu128, 0x306800000000000000000000002ebb44u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_067, bid128_signaling_greater_unordered, 0x3040000000fd54fe2ee7f84b00400000u128, 0x306800000000000000000000002ebb44u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_068, bid128_signaling_greater_unordered, 0x3040000000fd54fe2ee7f84b00400001u128, 0x306800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_069, bid128_signaling_greater_unordered, 0x3040a6274bbdd0fadd61999e07ac0251u128, 0x3082a6274bbdd0fadd61999e07ac0250u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_070, bid128_signaling_greater_unordered, 0x3040c612062576589dd46a73a100695eu128, 0x3074c612062576589dd46a73a100695du128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_071, bid128_signaling_greater_unordered, 0x3040c612062576589dda322d47eb47ffu128, 0x3074c612062576589dda322d47eb47feu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_072, bid128_signaling_greater_unordered, 0x3041622d6fbc91e01277c0caded5b8a3u128, 0x3067622d6fbc91e01277c0caded5b8a2u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_073, bid128_signaling_greater_unordered, 0x3041622d6fbc91e0127820b72d18cacfu128, 0x3067622d6fbc91e0127820b72d18caceu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_074, bid128_signaling_greater_unordered, 0x30417361cb863de627fa3c5af3bb4c09u128, 0x30737361cb863de627fa3c5af3bb4c08u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_075, bid128_signaling_greater_unordered, 0x3047ec3daf9417fe642eaec0d36a73d5u128, 0x307fec3c64797fe80000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_076, bid128_signaling_greater_unordered, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec3c64797fe80000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_077, bid128_signaling_greater_unordered, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_078, bid128_signaling_greater_unordered, 0x3047ec4450b72ff30000000000000000u128, 0x307fec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_079, bid128_signaling_greater_unordered, 0x3047ec4450b72ff30000000000000001u128, 0x307fec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_080, bid128_signaling_greater_unordered, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff096007ffffu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_081, bid128_signaling_greater_unordered, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_082, bid128_signaling_greater_unordered, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_083, bid128_signaling_greater_unordered, 0x3067622d6fbc91e01277c0caded5b8a2u128, 0x3041622d6fbc91e01277c0caded5b8a3u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_084, bid128_signaling_greater_unordered, 0x3067622d6fbc91e0127820b72d18caceu128, 0x3041622d6fbc91e0127820b72d18cacfu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_085, bid128_signaling_greater_unordered, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b003fffffu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_086, bid128_signaling_greater_unordered, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_087, bid128_signaling_greater_unordered, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_088, bid128_signaling_greater_unordered, 0x30737361cb863de627fa3c5af3bb4c08u128, 0x30417361cb863de627fa3c5af3bb4c09u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_089, bid128_signaling_greater_unordered, 0x3074c612062576589dd46a73a100695du128, 0x3040c612062576589dd46a73a100695eu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_090, bid128_signaling_greater_unordered, 0x3074c612062576589dda322d47eb47feu128, 0x3040c612062576589dda322d47eb47ffu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_091, bid128_signaling_greater_unordered, 0x307fec3c64797fe80000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_092, bid128_signaling_greater_unordered, 0x307fec4450b72ff30000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_093, bid128_signaling_greater_unordered, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_094, bid128_signaling_greater_unordered, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_095, bid128_signaling_greater_unordered, 0x30820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_096, bid128_signaling_greater_unordered, 0x30820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_097, bid128_signaling_greater_unordered, 0x3082a6274bbdd0fadd61999e07ac0250u128, 0x3040a6274bbdd0fadd61999e07ac0251u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_098, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x10000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_099, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_100, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x5fffed09bead87c0378d8e63ffffffffu128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_101, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x78000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_102, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_103, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_104, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xb8000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_105, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xdfffed09bead87c0378d8e63ffffffffu128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_106, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xf8000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_107, bid128_signaling_greater_unordered, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_108, bid128_signaling_greater_unordered, 0x78000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_109, bid128_signaling_greater_unordered, 0x78000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_110, bid128_signaling_greater_unordered, 0x78000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_111, bid128_signaling_greater_unordered, 0x78000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_112, bid128_signaling_greater_unordered, 0x78000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_113, bid128_signaling_greater_unordered, 0x78000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_114, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_115, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x10000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_116, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_117, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_118, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x78000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_119, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_120, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_121, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_122, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_123, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_124, bid128_signaling_greater_unordered, 0x78000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_125, bid128_signaling_greater_unordered, 0x7c000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_126, bid128_signaling_greater_unordered, 0x7c000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_127, bid128_signaling_greater_unordered, 0x7c000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_128, bid128_signaling_greater_unordered, 0x7c000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_129, bid128_signaling_greater_unordered, 0x7c000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_130, bid128_signaling_greater_unordered, 0x7c000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_131, bid128_signaling_greater_unordered, 0x7c000001000000000000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_132, bid128_signaling_greater_unordered, 0x7c000001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_133, bid128_signaling_greater_unordered, 0x7c000001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_134, bid128_signaling_greater_unordered, 0x7c000001000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_135, bid128_signaling_greater_unordered, 0x7c000001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_136, bid128_signaling_greater_unordered, 0x7c000001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_137, bid128_signaling_greater_unordered, 0x7c000001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_138, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_139, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_140, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_141, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_142, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_143, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_144, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_145, bid128_signaling_greater_unordered, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_146, bid128_signaling_greater_unordered, 0x7c003fffffffffffffffffffffffffffu128, 0x10000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_147, bid128_signaling_greater_unordered, 0x7c003fffffffffffffffffffffffffffu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_148, bid128_signaling_greater_unordered, 0x7c003fffffffffffffffffffffffffffu128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_149, bid128_signaling_greater_unordered, 0x7c003fffffffffffffffffffffffffffu128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_150, bid128_signaling_greater_unordered, 0x7c003fffffffffffffffffffffffffffu128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_151, bid128_signaling_greater_unordered, 0x7c003fffffffffffffffffffffffffffu128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_152, bid128_signaling_greater_unordered, 0x7c003fffffffffffffffffffffffffffu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_153, bid128_signaling_greater_unordered, 0x7e000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_154, bid128_signaling_greater_unordered, 0x7e000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_155, bid128_signaling_greater_unordered, 0x7e000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_156, bid128_signaling_greater_unordered, 0x7e000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_157, bid128_signaling_greater_unordered, 0x7e000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_158, bid128_signaling_greater_unordered, 0x7e000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_159, bid128_signaling_greater_unordered, 0x7e100001000000000000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_160, bid128_signaling_greater_unordered, 0x7e100001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_161, bid128_signaling_greater_unordered, 0x7e100001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_162, bid128_signaling_greater_unordered, 0x7e100001000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_163, bid128_signaling_greater_unordered, 0x7e100001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_164, bid128_signaling_greater_unordered, 0x7e100001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_165, bid128_signaling_greater_unordered, 0x7e100001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_166, bid128_signaling_greater_unordered, 0x80000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_167, bid128_signaling_greater_unordered, 0x80000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_168, bid128_signaling_greater_unordered, 0x80000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_169, bid128_signaling_greater_unordered, 0x80000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_170, bid128_signaling_greater_unordered, 0x80000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_171, bid128_signaling_greater_unordered, 0x80000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_172, bid128_signaling_greater_unordered, 0x8004000000000000000000003b9dd75fu128, 0x00060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_173, bid128_signaling_greater_unordered, 0x8004000000000000000000003b9dd75fu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_174, bid128_signaling_greater_unordered, 0x8004000000000000000000003b9dd75fu128, 0x80060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_175, bid128_signaling_greater_unordered, 0x8004000000000000000000003b9dd75fu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_176, bid128_signaling_greater_unordered, 0x80060000000000000000000005f62f23u128, 0x00060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_177, bid128_signaling_greater_unordered, 0x80060000000000000000000005f62f23u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_178, bid128_signaling_greater_unordered, 0x80060000000000000000000005f62f23u128, 0x80060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_179, bid128_signaling_greater_unordered, 0x80060000000000000000000005f62f23u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_180, bid128_signaling_greater_unordered, 0xb03e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_181, bid128_signaling_greater_unordered, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_182, bid128_signaling_greater_unordered, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000003u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_183, bid128_signaling_greater_unordered, 0xb03e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_184, bid128_signaling_greater_unordered, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000010000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_185, bid128_signaling_greater_unordered, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000030000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_186, bid128_signaling_greater_unordered, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec3c64797fe80000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_187, bid128_signaling_greater_unordered, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_188, bid128_signaling_greater_unordered, 0xb047ec4450b72ff30000000000000000u128, 0xb07fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_189, bid128_signaling_greater_unordered, 0xb047ec4450b72ff30000000000000001u128, 0xb07fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_190, bid128_signaling_greater_unordered, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff0960080001u128, true , 0x00); dec_test!(bid128_signaling_greater_unordered_191, bid128_signaling_greater_unordered, 0xb07fec3c64797fe80000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_192, bid128_signaling_greater_unordered, 0xb07fec4450b72ff30000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_193, bid128_signaling_greater_unordered, 0xb07fec4450b72ff30000000000000000u128, 0xb047ec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_194, bid128_signaling_greater_unordered, 0xb07fec4450b72ff30000000000000000u128, 0xb047ec4450b72ff30000000000000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_195, bid128_signaling_greater_unordered, 0xb0820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_196, bid128_signaling_greater_unordered, 0xb0820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_197, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_198, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_199, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_200, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_201, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_202, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_203, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_204, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x10000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_205, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_206, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_207, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x78000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_208, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_209, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_210, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_211, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_212, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_213, bid128_signaling_greater_unordered, 0xf8000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_greater_unordered_214, bid128_signaling_greater_unordered, 0xfc000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_215, bid128_signaling_greater_unordered, 0xfc000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_216, bid128_signaling_greater_unordered, 0xfc000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_217, bid128_signaling_greater_unordered, 0xfc000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_218, bid128_signaling_greater_unordered, 0xfc000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_219, bid128_signaling_greater_unordered, 0xfc000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_220, bid128_signaling_greater_unordered, 0xfc000001000000000000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_221, bid128_signaling_greater_unordered, 0xfc000001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_222, bid128_signaling_greater_unordered, 0xfc000001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_223, bid128_signaling_greater_unordered, 0xfc000001000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_224, bid128_signaling_greater_unordered, 0xfc000001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_225, bid128_signaling_greater_unordered, 0xfc000001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_226, bid128_signaling_greater_unordered, 0xfc000001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_227, bid128_signaling_greater_unordered, 0xfe000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_228, bid128_signaling_greater_unordered, 0xfe000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_229, bid128_signaling_greater_unordered, 0xfe000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_230, bid128_signaling_greater_unordered, 0xfe000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_231, bid128_signaling_greater_unordered, 0xfe000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_232, bid128_signaling_greater_unordered, 0xfe000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_233, bid128_signaling_greater_unordered, 0xfe200000000000100000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_234, bid128_signaling_greater_unordered, 0xfe200000000000100000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_235, bid128_signaling_greater_unordered, 0xfe200000000000100000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_236, bid128_signaling_greater_unordered, 0xfe200000000000100000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_237, bid128_signaling_greater_unordered, 0xfe200000000000100000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_238, bid128_signaling_greater_unordered, 0xfe200000000000100000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01); dec_test!(bid128_signaling_greater_unordered_239, bid128_signaling_greater_unordered, 0xfe200000000000100000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);