/* ---------------------------------------------------------------------------------------------------*/ /* 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_less_equal_001, bid128_signaling_less_equal, 0x00000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_002, bid128_signaling_less_equal, 0x00000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_003, bid128_signaling_less_equal, 0x00000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_004, bid128_signaling_less_equal, 0x00000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_005, bid128_signaling_less_equal, 0x00000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_006, bid128_signaling_less_equal, 0x00000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_less_equal_007, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_008, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x00); dec_test!(bid128_signaling_less_equal_009, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_010, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e62ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_011, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_012, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_013, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_014, bid128_signaling_less_equal, 0x0001ed09bead87c0378d8e64ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_015, bid128_signaling_less_equal, 0x0004000000000000000000003b9dd75fu128, 0x00060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_less_equal_016, bid128_signaling_less_equal, 0x0004000000000000000000003b9dd75fu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_017, bid128_signaling_less_equal, 0x0004000000000000000000003b9dd75fu128, 0x80060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_less_equal_018, bid128_signaling_less_equal, 0x0004000000000000000000003b9dd75fu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_019, bid128_signaling_less_equal, 0x00060000000000000000000005f62f23u128, 0x00060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_less_equal_020, bid128_signaling_less_equal, 0x00060000000000000000000005f62f23u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_021, bid128_signaling_less_equal, 0x00060000000000000000000005f62f23u128, 0x80060000000000000000000005f62f23u128, false, 0x00); dec_test!(bid128_signaling_less_equal_022, bid128_signaling_less_equal, 0x00060000000000000000000005f62f23u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_023, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x0001ed09bead87c0378d8e64ffffffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_024, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_025, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x60000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_026, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x6003b75d7734cd9e1234567890123456u128, true , 0x00); dec_test!(bid128_signaling_less_equal_027, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x00); dec_test!(bid128_signaling_less_equal_028, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x78000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_029, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x7c000001000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_030, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x7c003fffffffffffffffffffffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_031, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0x7e100001000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_032, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_033, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0xf8000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_034, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0xfc000001000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_035, bid128_signaling_less_equal, 0x10000000000000000000000000000000u128, 0xfe200000000000100000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_036, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x00); dec_test!(bid128_signaling_less_equal_037, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x10000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_038, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_039, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x5fffed09bead87c0378d8e63ffffffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_040, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x60000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_041, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x6003b75d7734cd9e1234567890123456u128, false, 0x00); dec_test!(bid128_signaling_less_equal_042, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x00); dec_test!(bid128_signaling_less_equal_043, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x78000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_044, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x78000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_045, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_046, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x7c000001000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_047, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x7c003fffffffffffffffffffffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_048, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0x7e100001000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_049, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_050, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xb8000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_051, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xdfffed09bead87c0378d8e63ffffffffu128, false, 0x00); dec_test!(bid128_signaling_less_equal_052, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xf8000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_053, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xf8000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_054, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_055, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xfc000001000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_056, bid128_signaling_less_equal, 0x302e000000000000000000001e1a7589u128, 0xfe200000000000100000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_057, bid128_signaling_less_equal, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_058, bid128_signaling_less_equal, 0x303e0000000000000000000000000002u128, 0x303e0000000000000000000000000003u128, true , 0x00); dec_test!(bid128_signaling_less_equal_059, bid128_signaling_less_equal, 0x303e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_060, bid128_signaling_less_equal, 0x303e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_061, bid128_signaling_less_equal, 0x303e0000000000020000000000000000u128, 0x303e0000000000010000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_062, bid128_signaling_less_equal, 0x303e0000000000020000000000000000u128, 0x303e0000000000030000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_063, bid128_signaling_less_equal, 0x30400000001faa9fc5dcff096007ffffu128, 0x306600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_signaling_less_equal_064, bid128_signaling_less_equal, 0x30400000001faa9fc5dcff0960080000u128, 0x306600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_signaling_less_equal_065, bid128_signaling_less_equal, 0x30400000001faa9fc5dcff0960080001u128, 0x306600000000000000000000003a6a15u128, false, 0x00); dec_test!(bid128_signaling_less_equal_066, bid128_signaling_less_equal, 0x3040000000fd54fe2ee7f84b003fffffu128, 0x306800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_signaling_less_equal_067, bid128_signaling_less_equal, 0x3040000000fd54fe2ee7f84b00400000u128, 0x306800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_signaling_less_equal_068, bid128_signaling_less_equal, 0x3040000000fd54fe2ee7f84b00400001u128, 0x306800000000000000000000002ebb44u128, false, 0x00); dec_test!(bid128_signaling_less_equal_069, bid128_signaling_less_equal, 0x3040a6274bbdd0fadd61999e07ac0251u128, 0x3082a6274bbdd0fadd61999e07ac0250u128, true , 0x00); dec_test!(bid128_signaling_less_equal_070, bid128_signaling_less_equal, 0x3040c612062576589dd46a73a100695eu128, 0x3074c612062576589dd46a73a100695du128, true , 0x00); dec_test!(bid128_signaling_less_equal_071, bid128_signaling_less_equal, 0x3040c612062576589dda322d47eb47ffu128, 0x3074c612062576589dda322d47eb47feu128, true , 0x00); dec_test!(bid128_signaling_less_equal_072, bid128_signaling_less_equal, 0x3041622d6fbc91e01277c0caded5b8a3u128, 0x3067622d6fbc91e01277c0caded5b8a2u128, true , 0x00); dec_test!(bid128_signaling_less_equal_073, bid128_signaling_less_equal, 0x3041622d6fbc91e0127820b72d18cacfu128, 0x3067622d6fbc91e0127820b72d18caceu128, true , 0x00); dec_test!(bid128_signaling_less_equal_074, bid128_signaling_less_equal, 0x30417361cb863de627fa3c5af3bb4c09u128, 0x30737361cb863de627fa3c5af3bb4c08u128, true , 0x00); dec_test!(bid128_signaling_less_equal_075, bid128_signaling_less_equal, 0x3047ec3daf9417fe642eaec0d36a73d5u128, 0x307fec3c64797fe80000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_076, bid128_signaling_less_equal, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec3c64797fe80000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_077, bid128_signaling_less_equal, 0x3047ec3daf9417fe642eaec0d36a73d7u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_078, bid128_signaling_less_equal, 0x3047ec4450b72ff30000000000000000u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_079, bid128_signaling_less_equal, 0x3047ec4450b72ff30000000000000001u128, 0x307fec4450b72ff30000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_080, bid128_signaling_less_equal, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff096007ffffu128, false, 0x00); dec_test!(bid128_signaling_less_equal_081, bid128_signaling_less_equal, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_082, bid128_signaling_less_equal, 0x306600000000000000000000003a6a15u128, 0x30400000001faa9fc5dcff0960080001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_083, bid128_signaling_less_equal, 0x306600000000000000000000003a6a15u128, 0x306800000000000000000000003a6a16u128, true , 0x00); dec_test!(bid128_signaling_less_equal_084, bid128_signaling_less_equal, 0x3067622d6fbc91e01277c0caded5b8a2u128, 0x3041622d6fbc91e01277c0caded5b8a3u128, false, 0x00); dec_test!(bid128_signaling_less_equal_085, bid128_signaling_less_equal, 0x3067622d6fbc91e0127820b72d18caceu128, 0x3041622d6fbc91e0127820b72d18cacfu128, false, 0x00); dec_test!(bid128_signaling_less_equal_086, bid128_signaling_less_equal, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b003fffffu128, false, 0x00); dec_test!(bid128_signaling_less_equal_087, bid128_signaling_less_equal, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_088, bid128_signaling_less_equal, 0x306800000000000000000000002ebb44u128, 0x3040000000fd54fe2ee7f84b00400001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_089, bid128_signaling_less_equal, 0x30737361cb863de627fa3c5af3bb4c08u128, 0x30417361cb863de627fa3c5af3bb4c09u128, false, 0x00); dec_test!(bid128_signaling_less_equal_090, bid128_signaling_less_equal, 0x3074c612062576589dd46a73a100695du128, 0x3040c612062576589dd46a73a100695eu128, false, 0x00); dec_test!(bid128_signaling_less_equal_091, bid128_signaling_less_equal, 0x3074c612062576589dda322d47eb47feu128, 0x3040c612062576589dda322d47eb47ffu128, false, 0x00); dec_test!(bid128_signaling_less_equal_092, bid128_signaling_less_equal, 0x307fec3c64797fe80000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00); dec_test!(bid128_signaling_less_equal_093, bid128_signaling_less_equal, 0x307fec4450b72ff30000000000000000u128, 0x3047ec3daf9417fe642eaec0d36a73d7u128, false, 0x00); dec_test!(bid128_signaling_less_equal_094, bid128_signaling_less_equal, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_095, bid128_signaling_less_equal, 0x307fec4450b72ff30000000000000000u128, 0x3047ec4450b72ff30000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_096, bid128_signaling_less_equal, 0x30820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_less_equal_097, bid128_signaling_less_equal, 0x30820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_less_equal_098, bid128_signaling_less_equal, 0x3082a6274bbdd0fadd61999e07ac0250u128, 0x3040a6274bbdd0fadd61999e07ac0251u128, false, 0x00); dec_test!(bid128_signaling_less_equal_099, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x10000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_100, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_101, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x5fffed09bead87c0378d8e63ffffffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_102, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x78000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_103, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_104, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_105, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xb8000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_106, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xdfffed09bead87c0378d8e63ffffffffu128, false, 0x00); dec_test!(bid128_signaling_less_equal_107, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xf8000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_108, bid128_signaling_less_equal, 0x5fffed09bead87c0378d8e63ffffffffu128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_109, bid128_signaling_less_equal, 0x78000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_110, bid128_signaling_less_equal, 0x78000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_111, bid128_signaling_less_equal, 0x78000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_112, bid128_signaling_less_equal, 0x78000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_113, bid128_signaling_less_equal, 0x78000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_114, bid128_signaling_less_equal, 0x78000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_115, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_less_equal_116, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x10000000000000000000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_117, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_118, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x00); dec_test!(bid128_signaling_less_equal_119, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x78000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_120, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_121, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_122, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_123, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_less_equal_124, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_125, bid128_signaling_less_equal, 0x78000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_less_equal_126, bid128_signaling_less_equal, 0x7c000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_127, bid128_signaling_less_equal, 0x7c000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_128, bid128_signaling_less_equal, 0x7c000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_129, bid128_signaling_less_equal, 0x7c000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_130, bid128_signaling_less_equal, 0x7c000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_131, bid128_signaling_less_equal, 0x7c000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_132, bid128_signaling_less_equal, 0x7c000001000000000000000000000000u128, 0x10000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_133, bid128_signaling_less_equal, 0x7c000001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_134, bid128_signaling_less_equal, 0x7c000001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x01); dec_test!(bid128_signaling_less_equal_135, bid128_signaling_less_equal, 0x7c000001000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_136, bid128_signaling_less_equal, 0x7c000001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_137, bid128_signaling_less_equal, 0x7c000001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_138, bid128_signaling_less_equal, 0x7c000001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_139, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_140, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b08ffffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_141, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_142, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b08ffffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_143, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e62ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_144, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b0affffffffu128, 0x0001ed09bead87c0378d8e64ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_145, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b08ffffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_146, bid128_signaling_less_equal, 0x7c003fffffffffff38c15b0affffffffu128, 0x7c003fffffffffff38c15b0affffffffu128, false, 0x01); dec_test!(bid128_signaling_less_equal_147, bid128_signaling_less_equal, 0x7c003fffffffffffffffffffffffffffu128, 0x10000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_148, bid128_signaling_less_equal, 0x7c003fffffffffffffffffffffffffffu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_149, bid128_signaling_less_equal, 0x7c003fffffffffffffffffffffffffffu128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x01); dec_test!(bid128_signaling_less_equal_150, bid128_signaling_less_equal, 0x7c003fffffffffffffffffffffffffffu128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_151, bid128_signaling_less_equal, 0x7c003fffffffffffffffffffffffffffu128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_152, bid128_signaling_less_equal, 0x7c003fffffffffffffffffffffffffffu128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_153, bid128_signaling_less_equal, 0x7c003fffffffffffffffffffffffffffu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_154, bid128_signaling_less_equal, 0x7e000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_155, bid128_signaling_less_equal, 0x7e000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_156, bid128_signaling_less_equal, 0x7e000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_157, bid128_signaling_less_equal, 0x7e000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_158, bid128_signaling_less_equal, 0x7e000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_159, bid128_signaling_less_equal, 0x7e000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_160, bid128_signaling_less_equal, 0x7e100001000000000000000000000000u128, 0x10000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_161, bid128_signaling_less_equal, 0x7e100001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_162, bid128_signaling_less_equal, 0x7e100001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x01); dec_test!(bid128_signaling_less_equal_163, bid128_signaling_less_equal, 0x7e100001000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_164, bid128_signaling_less_equal, 0x7e100001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_165, bid128_signaling_less_equal, 0x7e100001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_166, bid128_signaling_less_equal, 0x7e100001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_167, bid128_signaling_less_equal, 0x80000000000000000000000000000000u128, 0x00000000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_168, bid128_signaling_less_equal, 0x80000000000000000000000000000000u128, 0x80000000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_169, bid128_signaling_less_equal, 0x80000000000000000000000000000001u128, 0x00000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_170, bid128_signaling_less_equal, 0x80000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_171, bid128_signaling_less_equal, 0x80000000000000000000000000000001u128, 0x80000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_172, bid128_signaling_less_equal, 0x80000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, false, 0x00); dec_test!(bid128_signaling_less_equal_173, bid128_signaling_less_equal, 0x8004000000000000000000003b9dd75fu128, 0x00060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_less_equal_174, bid128_signaling_less_equal, 0x8004000000000000000000003b9dd75fu128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_175, bid128_signaling_less_equal, 0x8004000000000000000000003b9dd75fu128, 0x80060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_less_equal_176, bid128_signaling_less_equal, 0x8004000000000000000000003b9dd75fu128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_177, bid128_signaling_less_equal, 0x80060000000000000000000005f62f23u128, 0x00060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_less_equal_178, bid128_signaling_less_equal, 0x80060000000000000000000005f62f23u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_179, bid128_signaling_less_equal, 0x80060000000000000000000005f62f23u128, 0x80060000000000000000000005f62f23u128, true , 0x00); dec_test!(bid128_signaling_less_equal_180, bid128_signaling_less_equal, 0x80060000000000000000000005f62f23u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_181, bid128_signaling_less_equal, 0xb03e0000000000000000000000000002u128, 0x30820000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_182, bid128_signaling_less_equal, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_183, bid128_signaling_less_equal, 0xb03e0000000000000000000000000002u128, 0xb03e0000000000000000000000000003u128, false, 0x00); dec_test!(bid128_signaling_less_equal_184, bid128_signaling_less_equal, 0xb03e0000000000000000000000000002u128, 0xb0820000000000000000000000000001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_185, bid128_signaling_less_equal, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000010000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_186, bid128_signaling_less_equal, 0xb03e0000000000020000000000000000u128, 0xb03e0000000000030000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_187, bid128_signaling_less_equal, 0xb0400000001faa9fc5dcff096007ffffu128, 0xb06600000000000000000000003a6a15u128, false, 0x00); dec_test!(bid128_signaling_less_equal_188, bid128_signaling_less_equal, 0xb0400000001faa9fc5dcff0960080000u128, 0xb06600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_signaling_less_equal_189, bid128_signaling_less_equal, 0xb0400000001faa9fc5dcff0960080001u128, 0xb06600000000000000000000003a6a15u128, true , 0x00); dec_test!(bid128_signaling_less_equal_190, bid128_signaling_less_equal, 0xb040000000fd54fe2ee7f84b003fffffu128, 0xb06800000000000000000000002ebb44u128, false, 0x00); dec_test!(bid128_signaling_less_equal_191, bid128_signaling_less_equal, 0xb040000000fd54fe2ee7f84b00400000u128, 0xb06800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_signaling_less_equal_192, bid128_signaling_less_equal, 0xb040000000fd54fe2ee7f84b00400001u128, 0xb06800000000000000000000002ebb44u128, true , 0x00); dec_test!(bid128_signaling_less_equal_193, bid128_signaling_less_equal, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec3c64797fe80000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_194, bid128_signaling_less_equal, 0xb047ec3daf9417fe642eaec0d36a73d7u128, 0xb07fec4450b72ff30000000000000000u128, false, 0x00); dec_test!(bid128_signaling_less_equal_195, bid128_signaling_less_equal, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff096007ffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_196, bid128_signaling_less_equal, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff0960080000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_197, bid128_signaling_less_equal, 0xb06600000000000000000000003a6a15u128, 0xb0400000001faa9fc5dcff0960080001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_198, bid128_signaling_less_equal, 0xb06600000000000000000000003a6a15u128, 0xb06800000000000000000000003a6a16u128, false, 0x00); dec_test!(bid128_signaling_less_equal_199, bid128_signaling_less_equal, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b003fffffu128, true , 0x00); dec_test!(bid128_signaling_less_equal_200, bid128_signaling_less_equal, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b00400000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_201, bid128_signaling_less_equal, 0xb06800000000000000000000002ebb44u128, 0xb040000000fd54fe2ee7f84b00400001u128, false, 0x00); dec_test!(bid128_signaling_less_equal_202, bid128_signaling_less_equal, 0xb07fec3c64797fe80000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00); dec_test!(bid128_signaling_less_equal_203, bid128_signaling_less_equal, 0xb07fec4450b72ff30000000000000000u128, 0xb047ec3daf9417fe642eaec0d36a73d7u128, true , 0x00); dec_test!(bid128_signaling_less_equal_204, bid128_signaling_less_equal, 0xb0820000000000000000000000000001u128, 0x303e0000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_205, bid128_signaling_less_equal, 0xb0820000000000000000000000000001u128, 0xb03e0000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_206, bid128_signaling_less_equal, 0xf8000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_207, bid128_signaling_less_equal, 0xf8000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_208, bid128_signaling_less_equal, 0xf8000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_209, bid128_signaling_less_equal, 0xf8000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_210, bid128_signaling_less_equal, 0xf8000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_211, bid128_signaling_less_equal, 0xf8000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_212, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x00000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_213, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x10000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_214, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_215, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x69dbb75d7734cd9e1234567890123456u128, true , 0x00); dec_test!(bid128_signaling_less_equal_216, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x78000000000000000000000000000000u128, true , 0x00); dec_test!(bid128_signaling_less_equal_217, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x78000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_218, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_219, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_220, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0x80000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_221, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, true , 0x00); dec_test!(bid128_signaling_less_equal_222, bid128_signaling_less_equal, 0xf8000000000000000000000000000001u128, 0xf8000000000000000000000000000002u128, true , 0x00); dec_test!(bid128_signaling_less_equal_223, bid128_signaling_less_equal, 0xfc000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_224, bid128_signaling_less_equal, 0xfc000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_225, bid128_signaling_less_equal, 0xfc000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_226, bid128_signaling_less_equal, 0xfc000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_227, bid128_signaling_less_equal, 0xfc000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_228, bid128_signaling_less_equal, 0xfc000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_229, bid128_signaling_less_equal, 0xfc000001000000000000000000000000u128, 0x10000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_230, bid128_signaling_less_equal, 0xfc000001000000000000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_231, bid128_signaling_less_equal, 0xfc000001000000000000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x01); dec_test!(bid128_signaling_less_equal_232, bid128_signaling_less_equal, 0xfc000001000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_233, bid128_signaling_less_equal, 0xfc000001000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_234, bid128_signaling_less_equal, 0xfc000001000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_235, bid128_signaling_less_equal, 0xfc000001000000000000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_236, bid128_signaling_less_equal, 0xfe000000000000000000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_237, bid128_signaling_less_equal, 0xfe000000000000000000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_238, bid128_signaling_less_equal, 0xfe000000000000000000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_239, bid128_signaling_less_equal, 0xfe000000000000000000000000000000u128, 0xf8000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_240, bid128_signaling_less_equal, 0xfe000000000000000000000000000000u128, 0xfc000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_241, bid128_signaling_less_equal, 0xfe000000000000000000000000000000u128, 0xfe000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_242, bid128_signaling_less_equal, 0xfe200000000000100000000000000000u128, 0x10000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_243, bid128_signaling_less_equal, 0xfe200000000000100000000000000000u128, 0x2ffcf90255f4f60e8f4e3d819a000001u128, false, 0x01); dec_test!(bid128_signaling_less_equal_244, bid128_signaling_less_equal, 0xfe200000000000100000000000000000u128, 0x69dbb75d7734cd9e1234567890123456u128, false, 0x01); dec_test!(bid128_signaling_less_equal_245, bid128_signaling_less_equal, 0xfe200000000000100000000000000000u128, 0x78000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_246, bid128_signaling_less_equal, 0xfe200000000000100000000000000000u128, 0x7c000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_247, bid128_signaling_less_equal, 0xfe200000000000100000000000000000u128, 0x7e000000000000000000000000000000u128, false, 0x01); dec_test!(bid128_signaling_less_equal_248, bid128_signaling_less_equal, 0xfe200000000000100000000000000000u128, 0xaffcf90255f4f60e8f4e3d819a000001u128, false, 0x01);