/* ---------------------------------------------------------------------------------------------------*/
/* 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_not_greater_001, bid128_signaling_not_greater, 0x00000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_002, bid128_signaling_not_greater, 0x00000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_003, bid128_signaling_not_greater, 0x00000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_004, bid128_signaling_not_greater, 0x00000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_005, bid128_signaling_not_greater, 0x00000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_006, bid128_signaling_not_greater, 0x00000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_007, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_008, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_009, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_010, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_011, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_012, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_013, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_014, bid128_signaling_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_015, bid128_signaling_not_greater, 0x0004000000000000000000003b9dd75fu128, 0x00060000000000000000000005f62f23u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_016, bid128_signaling_not_greater, 0x0004000000000000000000003b9dd75fu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_017, bid128_signaling_not_greater, 0x0004000000000000000000003b9dd75fu128, 0x80060000000000000000000005f62f23u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_018, bid128_signaling_not_greater, 0x0004000000000000000000003b9dd75fu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_019, bid128_signaling_not_greater, 0x00060000000000000000000005f62f23u128, 0x00060000000000000000000005f62f23u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_020, bid128_signaling_not_greater, 0x00060000000000000000000005f62f23u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_021, bid128_signaling_not_greater, 0x00060000000000000000000005f62f23u128, 0x80060000000000000000000005f62f23u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_022, bid128_signaling_not_greater, 0x00060000000000000000000005f62f23u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_023, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_024, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_025, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x60000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_026, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x6003b75d7734cd9e1234567890123456u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_027, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_028, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x78000000000000000000000000000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_029, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x7c000001000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_030, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x7c003fffffffffffffffffffffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_031, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0x7e100001000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_032, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_033, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0xf8000000000000000000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_034, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0xfc000001000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_035, bid128_signaling_not_greater, 0x10000000000000000000000000000000u128, 0xfe200000000000100000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_036, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_037, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x10000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_038, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_039, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x5fffed09bead87c0378d8e63ffffffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_040, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x60000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_041, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x6003b75d7734cd9e1234567890123456u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_042, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_043, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x78000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_044, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x78000000000000000000000000000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_045, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_046, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x7c000001000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_047, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x7c003fffffffffffffffffffffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_048, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0x7e100001000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_049, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_050, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xb8000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_051, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xdfffed09bead87c0378d8e63ffffffffu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_052, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xf8000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_053, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xf8000000000000000000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_054, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_055, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xfc000001000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_056, bid128_signaling_not_greater, 0x302e000000000000000000001e1a7589u128, 0xfe200000000000100000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_057, bid128_signaling_not_greater, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_058, bid128_signaling_not_greater, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000003u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_059, bid128_signaling_not_greater, 0x303e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_060, bid128_signaling_not_greater, 0x303e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_061, bid128_signaling_not_greater, 0x303e0000000000020000000000000000u128, 0x303e0000000000010000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_062, bid128_signaling_not_greater, 0x303e0000000000020000000000000000u128, 0x303e0000000000030000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_063, bid128_signaling_not_greater, 0x30400000001faa9fc5dcff096007ffffu128, 0x306600000000000000000000003a6a15u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_064, bid128_signaling_not_greater, 0x30400000001faa9fc5dcff0960080000u128, 0x306600000000000000000000003a6a15u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_065, bid128_signaling_not_greater, 0x30400000001faa9fc5dcff0960080001u128, 0x306600000000000000000000003a6a15u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_066, bid128_signaling_not_greater, 0x3040000000fd54fe2ee7f84b003fffffu128, 0x306800000000000000000000002ebb44u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_067, bid128_signaling_not_greater, 0x3040000000fd54fe2ee7f84b00400000u128, 0x306800000000000000000000002ebb44u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_068, bid128_signaling_not_greater, 0x3040000000fd54fe2ee7f84b00400001u128, 0x306800000000000000000000002ebb44u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_069, bid128_signaling_not_greater, 0x3040a6274bbdd0fadd61999e07ac0251u128, 0x3082a6274bbdd0fadd61999e07ac0250u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_070, bid128_signaling_not_greater, 0x3040c612062576589dd46a73a100695eu128, 0x3074c612062576589dd46a73a100695du128, true , 0x00);
dec_test!(bid128_signaling_not_greater_071, bid128_signaling_not_greater, 0x3040c612062576589dda322d47eb47ffu128, 0x3074c612062576589dda322d47eb47feu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_072, bid128_signaling_not_greater, 0x3041622d6fbc91e01277c0caded5b8a3u128, 0x3067622d6fbc91e01277c0caded5b8a2u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_073, bid128_signaling_not_greater, 0x3041622d6fbc91e0127820b72d18cacfu128, 0x3067622d6fbc91e0127820b72d18caceu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_074, bid128_signaling_not_greater, 0x30417361cb863de627fa3c5af3bb4c09u128, 0x30737361cb863de627fa3c5af3bb4c08u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_075, bid128_signaling_not_greater, 0x3047ec3daf9417fe642eaec0d36a73d5u128, 0x307fec3c64797fe80000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_076, bid128_signaling_not_greater, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec3c64797fe80000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_077, bid128_signaling_not_greater, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_078, bid128_signaling_not_greater, 0x3047ec4450b72ff30000000000000000u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_079, bid128_signaling_not_greater, 0x3047ec4450b72ff30000000000000001u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_080, bid128_signaling_not_greater, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff096007ffffu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_081, bid128_signaling_not_greater, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_082, bid128_signaling_not_greater, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_083, bid128_signaling_not_greater, 0x306600000000000000000000003a6a15u128, 0x306800000000000000000000003a6a16u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_084, bid128_signaling_not_greater, 0x3067622d6fbc91e01277c0caded5b8a2u128, 0x3041622d6fbc91e01277c0caded5b8a3u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_085, bid128_signaling_not_greater, 0x3067622d6fbc91e0127820b72d18caceu128, 0x3041622d6fbc91e0127820b72d18cacfu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_086, bid128_signaling_not_greater, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b003fffffu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_087, bid128_signaling_not_greater, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_088, bid128_signaling_not_greater, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_089, bid128_signaling_not_greater, 0x30737361cb863de627fa3c5af3bb4c08u128, 0x30417361cb863de627fa3c5af3bb4c09u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_090, bid128_signaling_not_greater, 0x3074c612062576589dd46a73a100695du128, 0x3040c612062576589dd46a73a100695eu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_091, bid128_signaling_not_greater, 0x3074c612062576589dda322d47eb47feu128, 0x3040c612062576589dda322d47eb47ffu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_092, bid128_signaling_not_greater, 0x307fec3c64797fe80000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_093, bid128_signaling_not_greater, 0x307fec4450b72ff30000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_094, bid128_signaling_not_greater, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_095, bid128_signaling_not_greater, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_096, bid128_signaling_not_greater, 0x30820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_097, bid128_signaling_not_greater, 0x30820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_098, bid128_signaling_not_greater, 0x3082a6274bbdd0fadd61999e07ac0250u128, 0x3040a6274bbdd0fadd61999e07ac0251u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_099, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x10000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_100, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_101, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x5fffed09bead87c0378d8e63ffffffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_102, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x78000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_103, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_104, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_105, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xb8000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_106, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xdfffed09bead87c0378d8e63ffffffffu128, false, 0x00);
dec_test!(bid128_signaling_not_greater_107, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xf8000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_108, bid128_signaling_not_greater, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_109, bid128_signaling_not_greater, 0x78000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_110, bid128_signaling_not_greater, 0x78000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_111, bid128_signaling_not_greater, 0x78000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_112, bid128_signaling_not_greater, 0x78000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_113, bid128_signaling_not_greater, 0x78000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_114, bid128_signaling_not_greater, 0x78000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_115, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_116, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x10000000000000000000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_117, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_118, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_119, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x78000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_120, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_121, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_122, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_123, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_124, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_125, bid128_signaling_not_greater, 0x78000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_126, bid128_signaling_not_greater, 0x7c000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_127, bid128_signaling_not_greater, 0x7c000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_128, bid128_signaling_not_greater, 0x7c000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_129, bid128_signaling_not_greater, 0x7c000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_130, bid128_signaling_not_greater, 0x7c000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_131, bid128_signaling_not_greater, 0x7c000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_132, bid128_signaling_not_greater, 0x7c000001000000000000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_133, bid128_signaling_not_greater, 0x7c000001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_134, bid128_signaling_not_greater, 0x7c000001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_135, bid128_signaling_not_greater, 0x7c000001000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_136, bid128_signaling_not_greater, 0x7c000001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_137, bid128_signaling_not_greater, 0x7c000001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_138, bid128_signaling_not_greater, 0x7c000001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_139, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_140, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_141, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_142, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_143, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_144, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_145, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_146, bid128_signaling_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x01);
dec_test!(bid128_signaling_not_greater_147, bid128_signaling_not_greater, 0x7c003fffffffffffffffffffffffffffu128, 0x10000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_148, bid128_signaling_not_greater, 0x7c003fffffffffffffffffffffffffffu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_149, bid128_signaling_not_greater, 0x7c003fffffffffffffffffffffffffffu128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_150, bid128_signaling_not_greater, 0x7c003fffffffffffffffffffffffffffu128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_151, bid128_signaling_not_greater, 0x7c003fffffffffffffffffffffffffffu128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_152, bid128_signaling_not_greater, 0x7c003fffffffffffffffffffffffffffu128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_153, bid128_signaling_not_greater, 0x7c003fffffffffffffffffffffffffffu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_154, bid128_signaling_not_greater, 0x7e000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_155, bid128_signaling_not_greater, 0x7e000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_156, bid128_signaling_not_greater, 0x7e000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_157, bid128_signaling_not_greater, 0x7e000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_158, bid128_signaling_not_greater, 0x7e000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_159, bid128_signaling_not_greater, 0x7e000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_160, bid128_signaling_not_greater, 0x7e100001000000000000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_161, bid128_signaling_not_greater, 0x7e100001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_162, bid128_signaling_not_greater, 0x7e100001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_163, bid128_signaling_not_greater, 0x7e100001000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_164, bid128_signaling_not_greater, 0x7e100001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_165, bid128_signaling_not_greater, 0x7e100001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_166, bid128_signaling_not_greater, 0x7e100001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_167, bid128_signaling_not_greater, 0x80000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_168, bid128_signaling_not_greater, 0x80000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_169, bid128_signaling_not_greater, 0x80000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_170, bid128_signaling_not_greater, 0x80000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_171, bid128_signaling_not_greater, 0x80000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_172, bid128_signaling_not_greater, 0x80000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_173, bid128_signaling_not_greater, 0x8004000000000000000000003b9dd75fu128, 0x00060000000000000000000005f62f23u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_174, bid128_signaling_not_greater, 0x8004000000000000000000003b9dd75fu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_175, bid128_signaling_not_greater, 0x8004000000000000000000003b9dd75fu128, 0x80060000000000000000000005f62f23u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_176, bid128_signaling_not_greater, 0x8004000000000000000000003b9dd75fu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_177, bid128_signaling_not_greater, 0x80060000000000000000000005f62f23u128, 0x00060000000000000000000005f62f23u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_178, bid128_signaling_not_greater, 0x80060000000000000000000005f62f23u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_179, bid128_signaling_not_greater, 0x80060000000000000000000005f62f23u128, 0x80060000000000000000000005f62f23u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_180, bid128_signaling_not_greater, 0x80060000000000000000000005f62f23u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_181, bid128_signaling_not_greater, 0xb03e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_182, bid128_signaling_not_greater, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_183, bid128_signaling_not_greater, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000003u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_184, bid128_signaling_not_greater, 0xb03e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_185, bid128_signaling_not_greater, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000010000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_186, bid128_signaling_not_greater, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000030000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_187, bid128_signaling_not_greater, 0xb0400000001faa9fc5dcff096007ffffu128, 0xb06600000000000000000000003a6a15u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_188, bid128_signaling_not_greater, 0xb0400000001faa9fc5dcff0960080000u128, 0xb06600000000000000000000003a6a15u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_189, bid128_signaling_not_greater, 0xb0400000001faa9fc5dcff0960080001u128, 0xb06600000000000000000000003a6a15u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_190, bid128_signaling_not_greater, 0xb040000000fd54fe2ee7f84b003fffffu128, 0xb06800000000000000000000002ebb44u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_191, bid128_signaling_not_greater, 0xb040000000fd54fe2ee7f84b00400000u128, 0xb06800000000000000000000002ebb44u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_192, bid128_signaling_not_greater, 0xb040000000fd54fe2ee7f84b00400001u128, 0xb06800000000000000000000002ebb44u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_193, bid128_signaling_not_greater, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec3c64797fe80000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_194, bid128_signaling_not_greater, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec4450b72ff30000000000000000u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_195, bid128_signaling_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff096007ffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_196, bid128_signaling_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff0960080000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_197, bid128_signaling_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff0960080001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_198, bid128_signaling_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb06800000000000000000000003a6a16u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_199, bid128_signaling_not_greater, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b003fffffu128, true , 0x00);
dec_test!(bid128_signaling_not_greater_200, bid128_signaling_not_greater, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b00400000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_201, bid128_signaling_not_greater, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b00400001u128, false, 0x00);
dec_test!(bid128_signaling_not_greater_202, bid128_signaling_not_greater, 0xb07fec3c64797fe80000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_203, bid128_signaling_not_greater, 0xb07fec4450b72ff30000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_204, bid128_signaling_not_greater, 0xb0820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_205, bid128_signaling_not_greater, 0xb0820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_206, bid128_signaling_not_greater, 0xf8000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_207, bid128_signaling_not_greater, 0xf8000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_208, bid128_signaling_not_greater, 0xf8000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_209, bid128_signaling_not_greater, 0xf8000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_210, bid128_signaling_not_greater, 0xf8000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_211, bid128_signaling_not_greater, 0xf8000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_212, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_213, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x10000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_214, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_215, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_216, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x78000000000000000000000000000000u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_217, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_218, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_219, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_220, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_221, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_222, bid128_signaling_not_greater, 0xf8000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, true , 0x00);
dec_test!(bid128_signaling_not_greater_223, bid128_signaling_not_greater, 0xfc000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_224, bid128_signaling_not_greater, 0xfc000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_225, bid128_signaling_not_greater, 0xfc000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_226, bid128_signaling_not_greater, 0xfc000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_227, bid128_signaling_not_greater, 0xfc000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_228, bid128_signaling_not_greater, 0xfc000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_229, bid128_signaling_not_greater, 0xfc000001000000000000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_230, bid128_signaling_not_greater, 0xfc000001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_231, bid128_signaling_not_greater, 0xfc000001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_232, bid128_signaling_not_greater, 0xfc000001000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_233, bid128_signaling_not_greater, 0xfc000001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_234, bid128_signaling_not_greater, 0xfc000001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_235, bid128_signaling_not_greater, 0xfc000001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_236, bid128_signaling_not_greater, 0xfe000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_237, bid128_signaling_not_greater, 0xfe000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_238, bid128_signaling_not_greater, 0xfe000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_239, bid128_signaling_not_greater, 0xfe000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_240, bid128_signaling_not_greater, 0xfe000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_241, bid128_signaling_not_greater, 0xfe000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_242, bid128_signaling_not_greater, 0xfe200000000000100000000000000000u128, 0x10000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_243, bid128_signaling_not_greater, 0xfe200000000000100000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_244, bid128_signaling_not_greater, 0xfe200000000000100000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_245, bid128_signaling_not_greater, 0xfe200000000000100000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_246, bid128_signaling_not_greater, 0xfe200000000000100000000000000000u128, 0x7c000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_247, bid128_signaling_not_greater, 0xfe200000000000100000000000000000u128, 0x7e000000000000000000000000000000u128, true , 0x01);
dec_test!(bid128_signaling_not_greater_248, bid128_signaling_not_greater, 0xfe200000000000100000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x01);