/* ---------------------------------------------------------------------------------------------------*/ /* 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_quiet_not_greater_001, bid128_quiet_not_greater, 0x00000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_002, bid128_quiet_not_greater, 0x00000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_003, bid128_quiet_not_greater, 0x00000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_004, bid128_quiet_not_greater, 0x00000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_005, bid128_quiet_not_greater, 0x00000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_006, bid128_quiet_not_greater, 0x00000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_quiet_not_greater_007, bid128_quiet_not_greater, 0x00000000000001015fde262f578def4du128, 0xac09bb86a75c19c1580ec3520a78e747u128, false, 0x00); dec_test!(bid128_quiet_not_greater_008, bid128_quiet_not_greater, 0x0000080010020000fffffff7feffffffu128, 0x00000003200000000008000001800200u128, false, 0x00); dec_test!(bid128_quiet_not_greater_009, bid128_quiet_not_greater, 0x00018004100000417ffec8efe2fbffffu128, 0x00100000000025201800000109000400u128, false, 0x00); dec_test!(bid128_quiet_not_greater_010, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_011, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x00); dec_test!(bid128_quiet_not_greater_012, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_013, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_014, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_015, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_016, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_017, bid128_quiet_not_greater, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_018, bid128_quiet_not_greater, "-0" , "-0" , true , 0x00); dec_test!(bid128_quiet_not_greater_019, bid128_quiet_not_greater, 0x0ea653b50bf0094a1448122a80920125u128, 0x0420000834012005be1c8c6cc67a33d8u128, false, 0x00); dec_test!(bid128_quiet_not_greater_020, bid128_quiet_not_greater, "1.0" , 1 , true , 0x00); dec_test!(bid128_quiet_not_greater_021, bid128_quiet_not_greater, 1 , "1.0" , true , 0x00); dec_test!(bid128_quiet_not_greater_022, bid128_quiet_not_greater, 0x1fbbeb65d6d43bf7e4ae728088e6b418u128, 0x1fefbcddbfbbdb7d0180000400400001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_023, bid128_quiet_not_greater, 0x1ff4e3b16b8d40867dc21f2e5a3e9586u128, 0x324c6127d358091dc1bf30468f3fa3b7u128, true , 0x00); dec_test!(bid128_quiet_not_greater_024, bid128_quiet_not_greater, 0x282c019a19ae71843db1523be08c6352u128, 0x40240100080060009d7a7b1ef95601dcu128, true , 0x00); dec_test!(bid128_quiet_not_greater_025, bid128_quiet_not_greater, 0x2945b7c2028063041710c03ce7052b15u128, 0x5a9a275217fbd82fac84539bb623b367u128, true , 0x00); dec_test!(bid128_quiet_not_greater_026, bid128_quiet_not_greater, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_027, bid128_quiet_not_greater, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000003u128, true , 0x00); dec_test!(bid128_quiet_not_greater_028, bid128_quiet_not_greater, 0x303e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_029, bid128_quiet_not_greater, 0x303e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_030, bid128_quiet_not_greater, 0x303e0000000000020000000000000000u128, 0x303e0000000000010000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_031, bid128_quiet_not_greater, 0x303e0000000000020000000000000000u128, 0x303e0000000000030000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_032, bid128_quiet_not_greater, 0x30400000001faa9fc5dcff096007ffffu128, 0x306600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_quiet_not_greater_033, bid128_quiet_not_greater, 0x30400000001faa9fc5dcff0960080000u128, 0x306600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_quiet_not_greater_034, bid128_quiet_not_greater, 0x30400000001faa9fc5dcff0960080001u128, 0x306600000000000000000000003a6a15u128, false, 0x00); dec_test!(bid128_quiet_not_greater_035, bid128_quiet_not_greater, 0x3040000000fd54fe2ee7f84b003fffffu128, 0x306800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_quiet_not_greater_036, bid128_quiet_not_greater, 0x3040000000fd54fe2ee7f84b00400000u128, 0x306800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_quiet_not_greater_037, bid128_quiet_not_greater, 0x3040000000fd54fe2ee7f84b00400001u128, 0x306800000000000000000000002ebb44u128, false, 0x00); dec_test!(bid128_quiet_not_greater_038, bid128_quiet_not_greater, 0x3040a6274bbdd0fadd61999e07ac0251u128, 0x3082a6274bbdd0fadd61999e07ac0250u128, true , 0x00); dec_test!(bid128_quiet_not_greater_039, bid128_quiet_not_greater, 0x3040c612062576589dd46a73a100695eu128, 0x3074c612062576589dd46a73a100695du128, true , 0x00); dec_test!(bid128_quiet_not_greater_040, bid128_quiet_not_greater, 0x3040c612062576589dda322d47eb47ffu128, 0x3074c612062576589dda322d47eb47feu128, true , 0x00); dec_test!(bid128_quiet_not_greater_041, bid128_quiet_not_greater, 0x3041622d6fbc91e01277c0caded5b8a3u128, 0x3067622d6fbc91e01277c0caded5b8a2u128, true , 0x00); dec_test!(bid128_quiet_not_greater_042, bid128_quiet_not_greater, 0x3041622d6fbc91e0127820b72d18cacfu128, 0x3067622d6fbc91e0127820b72d18caceu128, true , 0x00); dec_test!(bid128_quiet_not_greater_043, bid128_quiet_not_greater, 0x30417361cb863de627fa3c5af3bb4c09u128, 0x30737361cb863de627fa3c5af3bb4c08u128, true , 0x00); dec_test!(bid128_quiet_not_greater_044, bid128_quiet_not_greater, 0x3047ec3daf9417fe642eaec0d36a73d5u128, 0x307fec3c64797fe80000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_045, bid128_quiet_not_greater, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec3c64797fe80000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_046, bid128_quiet_not_greater, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_047, bid128_quiet_not_greater, 0x3047ec4450b72ff30000000000000000u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_048, bid128_quiet_not_greater, 0x3047ec4450b72ff30000000000000001u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_049, bid128_quiet_not_greater, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff096007ffffu128, false, 0x00); dec_test!(bid128_quiet_not_greater_050, bid128_quiet_not_greater, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_051, bid128_quiet_not_greater, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_052, bid128_quiet_not_greater, 0x306600000000000000000000003a6a15u128, 0x306800000000000000000000003a6a16u128, true , 0x00); dec_test!(bid128_quiet_not_greater_053, bid128_quiet_not_greater, 0x3067622d6fbc91e01277c0caded5b8a2u128, 0x3041622d6fbc91e01277c0caded5b8a3u128, false, 0x00); dec_test!(bid128_quiet_not_greater_054, bid128_quiet_not_greater, 0x3067622d6fbc91e0127820b72d18caceu128, 0x3041622d6fbc91e0127820b72d18cacfu128, false, 0x00); dec_test!(bid128_quiet_not_greater_055, bid128_quiet_not_greater, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b003fffffu128, false, 0x00); dec_test!(bid128_quiet_not_greater_056, bid128_quiet_not_greater, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_057, bid128_quiet_not_greater, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_058, bid128_quiet_not_greater, 0x30737361cb863de627fa3c5af3bb4c08u128, 0x30417361cb863de627fa3c5af3bb4c09u128, false, 0x00); dec_test!(bid128_quiet_not_greater_059, bid128_quiet_not_greater, 0x3074c612062576589dd46a73a100695du128, 0x3040c612062576589dd46a73a100695eu128, false, 0x00); dec_test!(bid128_quiet_not_greater_060, bid128_quiet_not_greater, 0x3074c612062576589dda322d47eb47feu128, 0x3040c612062576589dda322d47eb47ffu128, false, 0x00); dec_test!(bid128_quiet_not_greater_061, bid128_quiet_not_greater, 0x307fec3c64797fe80000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00); dec_test!(bid128_quiet_not_greater_062, bid128_quiet_not_greater, 0x307fec4450b72ff30000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00); dec_test!(bid128_quiet_not_greater_063, bid128_quiet_not_greater, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_064, bid128_quiet_not_greater, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_065, bid128_quiet_not_greater, 0x30820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, false, 0x00); dec_test!(bid128_quiet_not_greater_066, bid128_quiet_not_greater, 0x30820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, false, 0x00); dec_test!(bid128_quiet_not_greater_067, bid128_quiet_not_greater, 0x3082a6274bbdd0fadd61999e07ac0250u128, 0x3040a6274bbdd0fadd61999e07ac0251u128, false, 0x00); dec_test!(bid128_quiet_not_greater_068, bid128_quiet_not_greater, 0x336c724c162c5aff58e59ac7f0d13709u128, 0x46e1133b61a27b02d56a3f98580f627fu128, true , 0x00); dec_test!(bid128_quiet_not_greater_069, bid128_quiet_not_greater, 0x356247556196575bbb09a517d47e0f69u128, 0xb25624db84de5d0173ca3b79eaec51c9u128, false, 0x00); dec_test!(bid128_quiet_not_greater_070, bid128_quiet_not_greater, 0x3f32158422d4d484ef4f27effdfdbdbbu128, 0xd65bf1f7ddf766f39bef3e7abec34112u128, false, 0x00); dec_test!(bid128_quiet_not_greater_071, bid128_quiet_not_greater, 0x4050004010040004fffbffffffffffffu128, 0x40400080430812400ce68993f7a0f4a4u128, false, 0x00); dec_test!(bid128_quiet_not_greater_072, bid128_quiet_not_greater, 0x45f852eb751de9d3afddd64b06b65823u128, 0x7e0018c67731f2ecbf6d979585053864u128, true , 0x01); dec_test!(bid128_quiet_not_greater_073, bid128_quiet_not_greater, 0x56e6b2baddc6782fd4308cd6f1d5c485u128, 0xd6a80000000000000000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_074, bid128_quiet_not_greater, 0x78000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_quiet_not_greater_075, bid128_quiet_not_greater, 0x78000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_076, bid128_quiet_not_greater, 0x78000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_quiet_not_greater_077, bid128_quiet_not_greater, 0x78000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_quiet_not_greater_078, bid128_quiet_not_greater, 0x7bc63a515a4d9c8f90556303aa003201u128, 0x10220088021020207e4bcbc993ca9b13u128, false, 0x00); dec_test!(bid128_quiet_not_greater_079, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_080, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_081, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_082, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_083, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_084, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_085, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_086, bid128_quiet_not_greater, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_087, bid128_quiet_not_greater, 0x7e00071389c7dbdac876fea2ddeaa6b0u128, 0x83487a4ef54cbacbc01ccba56593801du128, true , 0x01); dec_test!(bid128_quiet_not_greater_088, bid128_quiet_not_greater, 0x7e001e86a4674ec93efd740ccf5abd0bu128, 0x219386ab94f4430560cfa705cd6a2678u128, true , 0x01); dec_test!(bid128_quiet_not_greater_089, bid128_quiet_not_greater, 0x80000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_090, bid128_quiet_not_greater, 0x80000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_091, bid128_quiet_not_greater, 0x80000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_092, bid128_quiet_not_greater, 0x80000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_093, bid128_quiet_not_greater, 0x80000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_094, bid128_quiet_not_greater, 0x80000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_quiet_not_greater_095, bid128_quiet_not_greater, 0x97600000000000000000000000000000u128, 0x7e002be766fd7377740c3842ba88407au128, true , 0x01); dec_test!(bid128_quiet_not_greater_096, bid128_quiet_not_greater, 0x9cd60e9f357a63ff4c3df9fdb0a029eeu128, 0x9ca310243a3bc1288dab65c398da3d46u128, true , 0x00); dec_test!(bid128_quiet_not_greater_097, bid128_quiet_not_greater, 0xb03e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_098, bid128_quiet_not_greater, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000001u128, true , 0x00); dec_test!(bid128_quiet_not_greater_099, bid128_quiet_not_greater, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000003u128, false, 0x00); dec_test!(bid128_quiet_not_greater_100, bid128_quiet_not_greater, 0xb03e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_101, bid128_quiet_not_greater, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000010000000000000000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_102, bid128_quiet_not_greater, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000030000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_103, bid128_quiet_not_greater, 0xb0400000001faa9fc5dcff096007ffffu128, 0xb06600000000000000000000003a6a15u128, false, 0x00); dec_test!(bid128_quiet_not_greater_104, bid128_quiet_not_greater, 0xb0400000001faa9fc5dcff0960080000u128, 0xb06600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_quiet_not_greater_105, bid128_quiet_not_greater, 0xb0400000001faa9fc5dcff0960080001u128, 0xb06600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_quiet_not_greater_106, bid128_quiet_not_greater, 0xb040000000fd54fe2ee7f84b003fffffu128, 0xb06800000000000000000000002ebb44u128, false, 0x00); dec_test!(bid128_quiet_not_greater_107, bid128_quiet_not_greater, 0xb040000000fd54fe2ee7f84b00400000u128, 0xb06800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_quiet_not_greater_108, bid128_quiet_not_greater, 0xb040000000fd54fe2ee7f84b00400001u128, 0xb06800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_quiet_not_greater_109, bid128_quiet_not_greater, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec3c64797fe80000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_110, bid128_quiet_not_greater, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_quiet_not_greater_111, bid128_quiet_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff096007ffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_112, bid128_quiet_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff0960080000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_113, bid128_quiet_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff0960080001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_114, bid128_quiet_not_greater, 0xb06600000000000000000000003a6a15u128, 0xb06800000000000000000000003a6a16u128, false, 0x00); dec_test!(bid128_quiet_not_greater_115, bid128_quiet_not_greater, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b003fffffu128, true , 0x00); dec_test!(bid128_quiet_not_greater_116, bid128_quiet_not_greater, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b00400000u128, true , 0x00); dec_test!(bid128_quiet_not_greater_117, bid128_quiet_not_greater, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b00400001u128, false, 0x00); dec_test!(bid128_quiet_not_greater_118, bid128_quiet_not_greater, 0xb07fec3c64797fe80000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00); dec_test!(bid128_quiet_not_greater_119, bid128_quiet_not_greater, 0xb07fec4450b72ff30000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00); dec_test!(bid128_quiet_not_greater_120, bid128_quiet_not_greater, 0xb0820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_121, bid128_quiet_not_greater, 0xb0820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_122, bid128_quiet_not_greater, 0xb2d7bde447ffdbdf75c776fd7ebcfc77u128, 0xfeffffffbffbffff0122010000100108u128, true , 0x01); dec_test!(bid128_quiet_not_greater_123, bid128_quiet_not_greater, 0xb3d34d4d636822cd44346309f58bfe35u128, 0xb0d1ec09b6e81d5563f1c97d1e435672u128, true , 0x00); dec_test!(bid128_quiet_not_greater_124, bid128_quiet_not_greater, 0xb5fffffffffffffebcfffbd0f4ffffcbu128, 0xbfd5cb32534390ebc10583d405601f3bu128, false, 0x00); dec_test!(bid128_quiet_not_greater_125, bid128_quiet_not_greater, 0xe1c3b8da93d0e27228017c5f889e25a3u128, 0x7bffffeffdbffbffd73a6f67e3fb7ccfu128, true , 0x00); dec_test!(bid128_quiet_not_greater_126, bid128_quiet_not_greater, 0xf3a7e5cfb5df5a09efadfcf5bb7e7ff5u128, 0xeabb2cdb8d6619604c5c75f9d13fe772u128, true , 0x00); dec_test!(bid128_quiet_not_greater_127, bid128_quiet_not_greater, 0xf8000000000000000000000000000000u128, 0xd363809dc1c5f3f84864f99fa4c2a099u128, true , 0x00); dec_test!(bid128_quiet_not_greater_128, bid128_quiet_not_greater, 0xf8000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_129, bid128_quiet_not_greater, 0xf8000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_130, bid128_quiet_not_greater, 0xf8000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_131, bid128_quiet_not_greater, 0xf8000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_quiet_not_greater_132, bid128_quiet_not_greater, 0xfa0cb1fe3efcafd973be17bff8eccfb5u128, 0xf253a06eb87e2b9185f41c7a012b9b59u128, true , 0x00); dec_test!(bid128_quiet_not_greater_133, bid128_quiet_not_greater, 0xfe00309beb1e96736535258be8dcfd14u128, 0x93b60000000000000000000000000000u128, true , 0x01); dec_test!(bid128_quiet_not_greater_134, bid128_quiet_not_greater, "-Infinity" , "SNaN" , true , 0x01); dec_test!(bid128_quiet_not_greater_135, bid128_quiet_not_greater, "QNaN" , "Infini" , true , 0x00); dec_test!(bid128_quiet_not_greater_136, bid128_quiet_not_greater, "QNaN" , "SNaN" , true , 0x01); dec_test!(bid128_quiet_not_greater_137, bid128_quiet_not_greater, "SNaN" , "-0" , true , 0x01); dec_test!(bid128_quiet_not_greater_138, bid128_quiet_not_greater, "SNaN" , 0 , true , 0x01); dec_test!(bid128_quiet_not_greater_139, bid128_quiet_not_greater, "SNaN" , "Infinity" , true , 0x01);