pxfm 0.1.4

/*
 * // Copyright (c) Radzivon Bartoshyk 6/2025. All rights reserved.
 * //
 * // Redistribution and use in source and binary forms, with or without modification,
 * // are permitted provided that the following conditions are met:
 * //
 * // 1.  Redistributions of source code must retain the above copyright notice, this
 * // list of conditions and the following disclaimer.
 * //
 * // 2.  Redistributions in binary form must reproduce the above copyright notice,
 * // this list of conditions and the following disclaimer in the documentation
 * // and/or other materials provided with the distribution.
 * //
 * // 3.  Neither the name of the copyright holder nor the names of its
 * // contributors may be used to endorse or promote products derived from
 * // this software without specific prior written permission.
 * //
 * // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 * // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
 * // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
 * // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
 * // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
use crate::dyadic_float::{DyadicFloat128, DyadicSign};

pub(crate) static LOG10_STEP_1: [DyadicFloat128; 128] =
    // -log10(r) with 128-bit precision generated by SageMath with:
    //
    // for i in range(128):
    //   r = 2^-8 * ceil( 2^8 * (1 - 2^(-8)) / (1 + i*2^(-7)) );
    //   s, m, e = RealField(128)(r).log10().sign_mantissa_exponent();
    //   print("{DyadicSign::Pos,", e, ", format_hex(m), "},");
    /* .step_1 = */
    [
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: 0,
            mantissa: 0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xdf3b5ebb_da7e186b_65af394f_e05eafd3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -135,
            mantissa: 0xe01d4057_2f029c16_a8fb8d87_b30163b5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -134,
            mantissa: 0xa8c1263a_c3f57eb3_6bb0170e_5bb5d630_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -134,
            mantissa: 0xe1e841bb_c26204e5_fc2ea6eb_0ea1370e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -133,
            mantissa: 0x8dc2eb02_274d6ff4_dc8a199a_4bb63382_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -133,
            mantissa: 0xaacde920_361dd054_86b57ea6_10c7db33_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -133,
            mantissa: 0xc81618eb_15421bab_5f034a40_e6a2f09d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -133,
            mantissa: 0xe59c7e66_c5fedb4b_594a31b2_c5cc891c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -133,
            mantissa: 0xf477584f_97b654de_221efda5_8221904b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0x892e8219_75106e09_68a0dc47_567691c9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0x9841c66e_17dfe7da_10bc94f4_4d216b49_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0x9fd7be33_18306cc5_e303ea7e_23c9d6fb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0xaf1cb35b_f494a8dd_ce697dba_a00d4c7d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0xbe8380a2_fa7eba5a_9c216079_dcf0ea96_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0xc643c775_8283a271_75278940_eecfc3a9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0xd5de75ec_27e4fe68_2d3467d2_53e2d1fc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0xddb904e8_f1272a95_ead4055d_cdec7b22_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0xed88f6bb_355fa196_e1e0dda0_b3d375a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -132,
            mantissa: 0xf57e8281_ade9d92d_38dc40c4_fe11e608_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0x82c2941b_b20bbe1f_3bcdcfe7_b23976cd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0x86cb3663_2807cdcd_456350b0_bda452a6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0x8eeaa306_458b760a_78185dcc_37fda01a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0x93018395_12fc1168_307643ad_bbbde1b3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0x9b3dd1d5_50c41443_6c449d40_9f883fe3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0x9f6356aa_03c34389_8ea7b30c_8b4ad886_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xa7bd56cd_de5d76a2_961c6e69_0d8879b4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xabf1ea3e_1d7bd7cf_042643ce_d81ec14a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xb02b9af7_4c2f879e_4742fb3d_0b5cdd19_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xb8ae8671_b3d7dd6c_f7e2ab36_f09e9014_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xbcf7dabd_87c01afc_8d3fc634_85e7ff13_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xc1467f69_4d10a581_f3edc493_75fbc5a5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xc9f3ef07_e1f3fc5e_5fcd7d0c_e937375f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xce52d50b_94fa253a_58252dad_a9f06111_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xd2b74192_fae43777_62f01e5f_f43708ab_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xd72142a8_4ca85abd_481d9b31_31f52639_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xdb90e68b_8abf14af_b305ced1_419fe924_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xe48150cf_32888b9c_849266a8_5513dc6d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xe90234c6_5a15e533_080ecf32_66b4dcf4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xed88f6bb_355fa196_e1e0dda0_b3d375a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xf215a60b_6557943f_ce3537a3_a211b25b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xf6a85251_3757dfbd_5dab6830_7fedefcd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -131,
            mantissa: 0xffdfe15d_e3c01bac_1be2585c_279c50a5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x8242724a_155219f3_18aa3021_71017dcb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x849812d0_ccbb5cbd_abc7e698_502d43c0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x86f0dab1_ab5822b6_c339089a_51663370_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x894cd27d_9f182c63_26f70b34_ce5cf201_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x8bac02e8_ac3e09ac_676f20a8_7ab433df_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x8e0e74ca_ae062e24_6db4169c_c4b83bc3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x90743120_1c7f651a_cd3fdb2f_ad0d1fd6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x92dd410a_d7bfe103_49d03e16_3250d1d4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x9549add2_f8a3c7e0_9ec7dc02_d5e723b9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x97b980e7_a743d71c_34698d03_a5442573_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x9a2cc3df_f7548556_0522904d_1e47f3de_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x9ca3807b_ca9fe93f_791a7264_6c87b976_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0x9f1dc0a4_b9cea286_3826f190_d655d736_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xa19b8e6f_03b60e45_544ab3e4_8199b299_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xa41cf41a_83643487_be775fa8_2961114e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xa6a1fc13_ad241953_45798e50_19e6c082_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xa92ab0f4_92b772bd_91fb1ed0_cdc4d1fb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xabb71d85_ef05380d_818b8b9c_bbd17b72_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xae474cc0_397f0d4f_a50c2fea_60c5b3b2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xb0db49cc_c1823c8e_58ea3498_0ad8b720_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xb3732006_d1fbbba5_4b5f7194_1be508a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xb60edafc_dd99ad1d_9e405fb8_bcb1ff1e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xb60edafc_dd99ad1d_9e405fb8_bcb1ff1e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xb8ae8671_b3d7dd6c_f7e2ab36_f09e9014_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xbb522e5d_bf37f63b_c6696396_40c305bb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xbdf9def0_4cf980ff_a3dc9e46_4e98764b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xc0a5a490_dea95b5e_ffd3256b_59fa9c59_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xc3558be0_85e3f4bc_b0a2d486_72a051a5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xc3558be0_85e3f4bc_b0a2d486_72a051a5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xc609a1bb_4aa98f59_acb2ca5d_4ca1c10e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xc8c1f339_9ca7d33b_43690b9e_3cde0d02_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xcb7e8db1_cfe04827_18b1fd60_383f7e5a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xce3f7eb9_a517c969_0248757e_5f45af3d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xd104d427_de7fbcc4_7c4acd60_5be48bc1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xd104d427_de7fbcc4_7c4acd60_5be48bc1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xd3ce9c15_e10ec927_58ff6362_9a92652d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xd69ce4e1_6303fcdd_6b49be3b_d8c89f10_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xd96fbd2e_2814c9cc_e6dd603a_881e9060_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xd96fbd2e_2814c9cc_e6dd603a_881e9060_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xdc4733e7_cbcbfc8c_89e281c9_8c1d705c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xdf235843_9aa5dd12_dc0db7cf_0cce9f32_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xe20439c2_7a7c01b8_fdf1c5b8_46db9deb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xe20439c2_7a7c01b8_fdf1c5b8_46db9deb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xe4e9e832_e2da0c05_3dd7eab4_8869c402_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xe7d473b2_e5db8f2a_4e8fcc90_0b41daef_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xe7d473b2_e5db8f2a_4e8fcc90_0b41daef_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xeac3ecb2_4a3ac7b4_7593e1a9_e917359a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xedb863f4_b73f982d_e7741396_b49e1ce5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xedb863f4_b73f982d_e7741396_b49e1ce5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xf0b1ea93_f34675a7_c8ba4f8f_47b85a5c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xf3b09202_359f9787_7007c127_6821b705_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xf3b09202_359f9787_7007c127_6821b705_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xf6b46c0c_8c8fdea1_7ee19afe_6db7e324_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xf9bd8add_584687f0_edf54f37_f6d40420_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xf9bd8add_584687f0_edf54f37_f6d40420_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xfccc00fe_dba4e6fb_efe52ccf_03e7dee1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xffdfe15d_e3c01bac_1be2585c_279c50a5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -130,
            mantissa: 0xffdfe15d_e3c01bac_1be2585c_279c50a5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x817c9fa6_43880404_e0b571f5_c91b0446_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x830c1742_7ea55eca_7178594b_ef2def59_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x830c1742_7ea55eca_7178594b_ef2def59_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x849e6196_487c1d1c_9a741bb1_71158d2a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x849e6196_487c1d1c_9a741bb1_71158d2a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x863388eb_55ebd295_1a618264_446cb495_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x87cb97c3_ff9eac18_71dbdbbe_c51d7657_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x87cb97c3_ff9eac18_71dbdbbe_c51d7657_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x896698dc_e4cff76c_abe0b522_230f7d14_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x896698dc_e4cff76c_abe0b522_230f7d14_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x8b04972e_9d4d3011_d28e8ada_fea703b4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x8ca59def_7b5cefc5_208422d8_3be34b27_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x8ca59def_7b5cefc5_208422d8_3be34b27_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x8e49b895_5e3ffb8a_c385cf49_402af0e4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x8e49b895_5e3ffb8a_c385cf49_402af0e4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x8ff0f2d7_960a075c_da982a61_4e12c6dd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x8ff0f2d7_960a075c_da982a61_4e12c6dd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x919b58b0_d999bbc8_038401fc_1c1b5c2c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x919b58b0_d999bbc8_038401fc_1c1b5c2c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x9348f661_4f821394_a9b55d3f_16da746a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x9348f661_4f821394_a9b55d3f_16da746a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x94f9d870_aac256a5_088d2d14_73d4f7f5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x94f9d870_aac256a5_088d2d14_73d4f7f5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x96ae0bb0_5c35d5bd_7c1e117d_ea19e9e6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x96ae0bb0_5c35d5bd_7c1e117d_ea19e9e6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -129,
            mantissa: 0x98659d3d_d9b12532_336db063_0f536fb9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: 0,
            mantissa: 0_u128,
        },
    ];

pub(crate) static LOG10_STEP_2: [DyadicFloat128; 193] =
    // -log10(r) for the second step, generated by SageMath with:
    //
    // for i in range(-2^6, 2^7 + 1):
    //   r = 2^-16 * round( 2^16 / (1 + i*2^(-14)) );
    //   s, m, e = RealField(128)(r).log10().sign_mantissa_exponent();
    //   print("{DyadicSign::Pos," if s == -1 else "{DyadicSign::Neg,", e, ",
    //         format_hex(m), "},");
    /* .step_2 = */
    [
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xdeca7290_13cd7c31_7f1ce002_fa34131b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xdb5475b4_4946d986_639afa08_5dd8b4c7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xd7de6b0e_10cab7d2_05512632_fe9a58cb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xd468529c_fc6fb395_b5380a99_53117d07_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xd0f22c60_9e474741_70af2d7d_53be1f31_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xcd7bf858_885dcae2_0ccd499c_49b74cc2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xca05b684_4cba73cf_5b51ddc3_987ebfb8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xc68f66e3_7d5f545a_49375f51_89b3782b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xc3190975_ac495b7a_f6e57738_865c712f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xbfa29e3a_6b70547e_ca02b10a_8c712acd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xbc2c2531_4cc6e6b6_78e50382_10208151_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xb8b59e59_e23a9524_0fa099ec_d71ee0ea_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xb53f09b3_bdb3be28_eeb445cc_b8fb09ed_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xb1c8673e_71159b33_c352fff1_8a1c02fb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xae51b6f9_8e3e406e_7949e03e_cf9b390b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xaadaf8e4_a7069c6c_2681f33f_30aadedc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xa7642cff_4d4277d6_f01d5496_eea213b3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xa3ed5349_12c0751d_e92ef555_ff1de975_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0xa0766bc1_894a1022_eb0c7519_b3e7c1e0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x9c21b6e9_1e7f03a3_f60d204f_f0fe5296_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x98aab049_1050bea8_125c19a4_f057c18b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x95339bd6_4cd953e7_7e9383ce_1bdf9575_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x91bc7990_65cc57d6_bf274f4d_8f770253_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x8e454976_ecd836ad_656bd9b7_58fe44ba_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x8ace0b89_73a63413_bfdd2c7f_388fc014_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x8756bfc7_8bda6ad0_83fbf6ed_936c493a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x83df6630_c713cc76_71bfa9a1_8bec01cc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -137,
            mantissa: 0x8067fec4_b6ec2111_f09d19f5_6dbfef72_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xf9e11305_d9f00dad_4c422713_b1642228_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xf2f20cd5_f58de39a_0c3c7c56_99b7a0a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xec02eaf8_e3c656ff_b8db7c69_e3fa0797_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xe513ad6d_c7a3a553_a083eb05_506ff7ed_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xde245433_c425b5c5_c21595e7_45f1fa15_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xd734df49_fc42189b_b9d5bcdb_fe719389_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xd0454eaf_92e4068b_a17a1e85_e93461f4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xc955a263_aaec6016_e3537584_da333fda_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xc265da65_6731ace5_00963177_f24682c2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xbb75f6b3_ea801b1e_4ac03734_7bcfc50e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xb485f74e_57997ec6_901a736a_4364cdfd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xad95dc33_d1355117_bb550acc_3b9d7247_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0xa6a5a563_7a00afdc_663cf2b2_7e8f1ffb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0x9fb552dc_749e5cca_5f89bd08_feb39952_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0x98c4e49d_e3a6bcdd_23c2623c_73f494db_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0x91d45aa6_e9a7d7b0_4937d3b5_485af61e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0x8ae3b4f6_a92556d9_df14214e_7a6d8111_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -138,
            mantissa: 0x83f2f38c_44988544_bf7cfc14_999fb4bc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0xfa042ccd_bce09d15_a990c0ee_569a8d51_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0xec223b0b_32227c9e_a38463e9_d941e1c2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0xde4011cf_2daaff31_ba032453_0edaa03f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0xd05db117_f419b857_5e997a02_dad7ace7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0xc27b18e3_c9f977c7_4a14676d_4d0f817e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0xb4984930_f3c0481c_857c002e_e7a1e473_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0xa6b541fd_b5cf6d89_5923b2eb_72d8012a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0x98d20348_5473648b_21cde8f8_5ca1f9fd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -139,
            mantissa: 0x8aee8d0f_13e3e09e_0be08e08_b1d212d4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -140,
            mantissa: 0xfa15bea0_708795e1_69502399_8e6bd7b0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -140,
            mantissa: 0xde4df414_0b42822f_634cea67_50617a92_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -140,
            mantissa: 0xc285ba75_7feb2781_fbd7e970_aef9dbb8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -140,
            mantissa: 0xa6bd11c1_564a8ace_9aedc1c1_ba7d0695_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -140,
            mantissa: 0x8af3f9f4_1600120a_8d306ba2_07233c44_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -141,
            mantissa: 0xde54e614_8d030322_856a0a3a_00fcf3c1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -141,
            mantissa: 0xa6c0fa00_de35f314_b3a2c140_7cf6d38d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -142,
            mantissa: 0xde585f4c_5bbbcd3d_d791cf6a_70c3a504_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0xde5a1bf6_27b1f68f_10a633f2_c4a8ea22_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: 0,
            mantissa: 0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0xde5d9565_8a729eab_ed4a68e5_e6e83ddf_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -142,
            mantissa: 0xde5f522b_21e3e25a_3281f187_2cdbee94_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -141,
            mantissa: 0xa6c8cb3b_7e5bbbfd_f1466eda_a96e356e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -141,
            mantissa: 0xde62cbd2_1e895473_8a607fd6_95dfc3d9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -140,
            mantissa: 0x8afed570_32bebc7c_c36b8713_ceefe2de_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -140,
            mantissa: 0xa6ccb436_a3c72fa4_5c2e76c9_53e3e3e6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -140,
            mantissa: 0xc29b023f_dcb2dccf_8e4950fa_5c943bbf_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -140,
            mantissa: 0xde69bf8f_58005dfc_20fa8a73_c585f634_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -140,
            mantissa: 0xfa38ec28_905810a3_0aa106d9_b0a9717a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0x8b044407_80460c2a_85d70e03_2de41aec_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0x98ec49a3_11cc30ab_beee21cb_b82a9a78_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0xa6d486e8_ba5151a0_abd7b0fd_d8efe6f6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0xb4bcfbda_377d31cc_3221c56e_2c1aa912_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0xc2a5a879_470c7c37_57b795a3_6d9c5f19_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0xd08e8cc7_a6d0c580_131ec142_c053ac3b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0xde77a8c7_14b08d28_35e3298f_4bb2aa0a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0xec60fc79_4ea73ee4_7133dafd_fc44f160_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -139,
            mantissa: 0xfa4a87e0_12c533eb_74b37d23_121c59d5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0x841a257e_8f97da22_93bf5f42_07da8a4c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0x8b0f22e9_19107c0c_fdb5990e_c6057f4e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0x92043c30_84f41481_2d408a58_b1b202fe_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0x98f97155_b274b1ab_1759381b_61dfbf01_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0x9feec259_80cedbbe_41e90a05_4df4b9f1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xa6e42f3c_cf49959d_a1e66c62_03725d50_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xadd9b800_7d365d83_8693d36a_b45bd7ce_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xb4cf5ca5_69f12da9_91e25bb4_0ad3f098_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xbbc51d2c_74e07cf0_bdf94392_c4cc7f6c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xc2baf996_7d753f89_6fe37973_354a82f9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xc9b0f1e4_632ae79b_97647b42_67bfd801_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xd0a70617_058765ee_dbf5c32a_454f7bdf_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xd79d362f_441b2a92_d6edfe04_c37ba916_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xde93822d_fe812587_5ad3480c_cfbe9890_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xe589ea14_145ec764_c7d9ac76_5be7e325_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xec806de2_65640204_6d8f24b9_a3ca011b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xf3770d99_d14b4928_f9b65480_7dcdd5b2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -138,
            mantissa: 0xfa6dc93b_37d99326_f4513f47_45663028_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x80b25063_bc6f2cc6_a46e9a72_d80da75f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x842dca1f_ba19cce6_ee60992b_51ffac4b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x87a951d2_04deeaf3_1977fa1c_786886b3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x8b24e77b_0cb60a84_0e5f7c52_cdf119d5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x8ea08b1b_419bf221_3bf9d70d_a1021a10_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x921c3cb3_1392ab94_fd0406b0_7523b8e6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x9597fc42_f2a18441_0453ee32_c020f2a8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x9913c9cb_4ed50d72_cfb3ec22_066bf7f6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x9c8fa54c_983f1cb8_215c025b_d493ecf9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0x9f2c9319_2e68232b_39c116b7_ee3a83ec_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xa2a8870f_24ac5f66_f41f4b3e_de2782f0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xa62488ff_3c735799_61196927_723eb75c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xa9a098e9_e5e2a432_0e615e83_6cb1edab_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xad1cb6cf_91252372_6981331c_5fc71cfc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xb098e2b0_ae6af9c2_5f6a4faa_054f11fa_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xb4151c8d_ade99205_02a68bc6_81a74c28_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xb7916466_ffdb9ded_382ba24d_90566403_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xbb0dba3d_14811652_6ad1abe5_1dd22e00_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xbe8a1e10_5c1f3b85_456d3f7f_59b13960_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xc2068fe1_470095a4_738dd8b7_d66e9058_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xc5830fb0_4574f4f1_68e123fe_d7ff11c6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xc8ff9d7d_c7d17225_2f3bd097_80c3aa11_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xcc7c394a_3e706ec5_3b48887f_1ce36935_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xcff8e316_19b19578_47ddae65_5ecc4633_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xd3759ae1_c9f9da5b_37fa81ee_f4819c88_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xd6f260ad_bfb37b55_ff6c4a8d_747c65ed_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xda6f347a_6b4e0070_921c2949_3a33318c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xddec1648_3d3e3c27_da0631eb_65e731d8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xe1690617_a5fe4bc2_b3da6c07_d110babc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xe4e603e9_160d97a6_f2485c78_68b8835a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xe8630fbc_fdf0d3ae_67f5b7ed_01344055_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xebe02993_ce31ff7b_f820df44_5b1d0622_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xef5d516d_f76066d0_adefc674_b7eca5cd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xf2da874b_ea10a1e0_da6be6dc_057d3235_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xf657cb2e_16dc95a9_392bdde1_52ab5ff5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xf9d51d14_ee637444_1bab58e2_ec99cf73_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -137,
            mantissa: 0xfd527d00_e149bd3e_9b51ef7e_3388d692_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x8067f579_301c9ef6_e914c6a7_f3f22fa2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x8226b374_edf088e2_0d22862e_b2081c94_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x83e57873_e27ad153_29ebd0b4_76cd8fd8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x85a44476_461854a0_98feddc2_806d01ed_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x8763177c_512896af_471bfc26_1a401854_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x88b23a5b_61430a16_b6f89c19_b4cd1acd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x8a7119a8_5909ebe9_b39aaf34_163fb099_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x8c2ffff9_9357e887_1665f0f8_21541c36_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x8deeed4f_489679a6_a5051754_e049c1cb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x8fade1a9_b131c159_8c5a9a1c_57b2e986_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x916cdd09_05988a35_1d844843_8a26a9ae_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x932bdf6d_7e3c477d_8e3a0913_ecd2fd02_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x94eae8d7_53911550_bc881a45_f47f1d36_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x96a9f946_be0db8d0_f5e51c05_499b06d0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x986910bb_f62ba04f_c1a43be8_1a243fde_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x9a282f37_3466e378_aec3cfeb_e971beb7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x9be754b8_b13e437c_2518b293_28614989_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x9da68140_a5332b3a_39d6b147_cbe803a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0x9f65b4cf_48c9af6d_87765e30_04ae428d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xa124ef64_d4888ed6_08f896ab_28245bac_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xa2e43101_80f93263_f8880fb5_ca630c87_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xa4a379a5_86a7ad62_b179397c_f82e935c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xa662c951_1e22bda3_95a8cb71_7197ad81_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xa8222004_7ffbcba8_f6394a34_b7f9a4a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xa9e17dbf_e4c6ead0_ffafd8c2_b57884e8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xaba0e283_851ad980_a970a643_b8a6ac2b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xad604e4f_9991014e_a89b49fb_749d47e0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xaf1fc124_5ac5772e_66475ed2_ac983305_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xb06f5be1_bf1918e7_b4fd6209_364bb36f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xb22edb06_36da31d6_8b5ce79b_0965962a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xb3ee6133_f7149769_6724232b_07396427_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xb5adee6b_386e62ae_2f02b14d_cad8a49c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xb76d82ac_339058db_bd6443a8_1f792e07_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xb92d1df7_2125eb7c_ea1cd962_5749939a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xbaecc04c_39dd389b_97775e31_42198913_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xbcac69ab_b6670aeb_c2a701b8_09a2bc39_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xbe6c1a15_cf76d9f6_979b990f_39e662e3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xc02bd18a_bdc2ca45_88395c46_3ddd82b2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xc1eb900a_ba03ad8d_66f451bd_9ba5ed05_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xc3ab5595_fcf502d9_84cfb941_3f6437a6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xc56b222c_bf54f6b6_d2c1c8d3_2943ca42_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xc72af5cf_39e4635f_067c0d1f_d95192e6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xc8ead07d_a566d0e3_c298bf9e_db6441f2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xcaaab238_3aa27559_c22d646a_ddde3910_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xcc6a9aff_32603504_07c301e5_c7d1ca40_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xce2a8ad2_c56ba27f_0fb44446_4df02505_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xcfea81b3_2c92feec_05f1df35_91ae898f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xd13a7f7c_07506f7d_b43caf8e_7b891066_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xd2fa82b3_6a610c4f_597fb13f_0d0fdf19_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xd4ba8cf8_3dd2a06b_3c21f1c6_0a60b0d6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xd67a9e4a_ba7d7ce5_2b745590_9a0428a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xd83ab6ab_193ca223_1438b605_73d2da10_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xd9fad619_92edc008_49f86400_c5ab2b11_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xdbbafc96_60713620_d3c313d1_48a23c35_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -136,
            mantissa: 0xdd7b2a21_baaa13cc_bc568523_55e0f0d5_u128,
        },
    ];

pub(crate) static LOG10_STEP_3: [DyadicFloat128; 161] =
    // -log10(r) for the third step, generated by SageMath with:
    //
    // for i in range(-80, 81):
    //   r = 2^-21 * round( 2^21 / (1 + i*2^(-21)) );
    //   s, m, e = RealField(128)(r).log10().sign_mantissa_exponent();
    //   print("{DyadicSign::Pos," if (s == -1) else "{DyadicSign::Neg,", e, "," ,
    //         format_hex(m), "},");
    /* .step_3 = */
    [
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0x8af8b9b3_22ba8c7d_54d7e498_98ca0093_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0x893c0652_9deffc3d_c321bbf1_6665f29c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0x877f52e4_33ac7ec4_8246df71_40c3e4ae_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0x85c29f67_e3ef35bc_1deaa9e8_5780e4c1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0x8405ebdd_aeb742cf_0cd8a512_1a9162d0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0x82493845_9403c7a7_b10486fa_4644308d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -143,
            mantissa: 0x808c849f_93d3e5f0_578a2f61_eedd4be8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xfd9fa1d7_5c4d7ea6_715b4a49_1790e8a7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xfa263a53_c5f6eaf4_efb6273a_04c71573_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xf6acd2b4_64a25420_474d9015_60c17807_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xf3336af9_384dfd7c_6b9a5dec_eb80ec57_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xefba0322_40f82a5d_2665a32f_7cc64f79_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xec409b2f_7e9f1e16_17c8a673_16659363_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xe8c73320_f1411bfa_b62cdd3e_f5c8673d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xe54dcaf6_98dc675e_4e4be6d5_a4a07422_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xe1d462b0_756f4394_032f86ff_08c92e22_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xde5afa4e_86f7f3ee_ce31a0d2_7359396f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xdae191d0_cd74bbc1_7efc3180_aee36373_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xd7682937_48e3de5e_bb894b1e_0ce72fc4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xd3eec081_f9439f19_00230f6c_7270f8be_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xd07557b0_de924142_9f63aaa5_63e9a399_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xccfbeec3_f8ce082d_c2354e44_1015e7eb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xc98285bb_47f5372c_67d22bcf_5a452a4c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xc6091c96_cc061190_65c46fa3_e3afea18_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xc28fb356_84fedaab_67e63bbe_1405c20d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xbf1649fa_72ddd5ce_f061a284_212afbad_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xbb9ce082_95a1464c_57b0a190_1625b539_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xb82376ee_ed476f74_cc9d1c79_d93a9a1e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xb4aa0d3f_79ce9499_5440d7a1_31392da8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xb130a374_3b34f90a_ca0572f7_c9f7a7de_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xadb7398d_3178e019_dfa464cb_37fe6455_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xaa3dcf8a_5c988d17_1d26f48e_fb62e2e0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xa6c4656b_bc924352_e0e635a6_81d259e2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0xa34afb31_5164461d_5f8b022f_27cbda35_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x9fd190db_1b0cd8c6_a40df5ca_390a0465_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x9c582669_198a3e9e_8fb76866_f01c4f2d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x98debbdb_4cdabaf4_da1f690c_752fdeff_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x95655131_b4fc9119_112db8a3_dc07ee78_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x91ebe66c_51ee045a_9919c4c2_2125c79e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x8e727b8b_23ad5808_ac6aa272_26204db3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x8af9108e_2a38cf72_5bf708fe_ad2b1780_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x877fa575_658eade6_8ee54cbc_53cd19ed_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x84063a40_d5ad36b4_02ab59d3_8cc6e2c5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -144,
            mantissa: 0x808ccef0_7a92ad29_4b0eaf0a_99286378_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xfa26c708_a87aa929_a448b11f_012c975c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xf333eff8_c556e089_b0a1d584_117de73b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xec4118b1_4bb6870e_e890f9fb_57fdabb6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xe54e4132_3b962355_261d48c7_1e693130_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xde5b697b_94f23bf7_efecdd48_ed894c32_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xd768918d_57c75792_7944b995_7598a88a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xd075b967_8411fcbf_a208bc08_75093645_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xc982e10a_19ceb219_f6bb94d8_9da8b432_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xc2900875_18f9fe3b_b07ebbab_782457b0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xbb9d2fa8_819067be_b5126529_45eb9165_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xb4aa56a4_538e753c_96d57890_e171eea5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xadb77d68_8ef0ad4e_94c5854b_9cd01726_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0xa6c4a3f5_33b3968d_9a7eb881_1ec3e6bb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0x9fd1ca4a_41d3b792_403bd2ab_3e0fa2d7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0x98def067_b94d96f4_cad61d29_db384b6b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0x91ec164d_9a1dbb4d_2bc55fd6_b8a306ec_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0x8af93bfb_e440ab33_011fd699_5111a927_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -145,
            mantissa: 0x84066172_97b2ed3d_959a26fa_ac7e5494_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0xfa270d63_68e21007_c10eab72_66ac6bc0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0xec415772_74ef0439_0bb178b9_0026b2b2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0xde5ba112_5385c43b_ac3bfd92_5e6b33e1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0xd075ea43_049f5d3b_9d0a01a9_5b355319_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0xc2903304_8834dc64_31b3b7b2_0a6a6496_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0xb4aa7b56_de3f4ee0_170da891_504620f4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0xa6c4c33a_06b7c1d9_53289e84_744549cb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0x98df0aae_01974279_45519048_b0ce7e7f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -146,
            mantissa: 0x8af951b2_ced6dde8_a6118c42_bf99407e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -147,
            mantissa: 0xfa273090_dcdf429f_0e5b474c_c5a64cf6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -147,
            mantissa: 0xde5bbcdd_c0b533aa_a74dab3b_d6067bc7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -147,
            mantissa: 0xc290484c_4921a941_9f73f4e3_7357341b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -147,
            mantissa: 0xa6c4d2dc_7616bdb0_31bf5d5f_815220e7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -147,
            mantissa: 0x8af95c8e_47868b41_4b987ca5_fca242d7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -148,
            mantissa: 0xde5bcac3_7ac6587d_19be3fab_d93832c5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -148,
            mantissa: 0xa6c4daad_af3d75e0_8fd43f0c_9ce444d3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -149,
            mantissa: 0xde5bd1b6_58ad4676_061cd853_e796bc2c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -150,
            mantissa: 0xde5bd52f_c7d8545f_87d6afab_fba0644f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: 0,
            mantissa: 0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -150,
            mantissa: 0xde5bdc22_a69d9e19_a9bf3200_1043629d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -149,
            mantissa: 0xde5bdf9c_1637d9ef_8014f0f3_60272d82_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -148,
            mantissa: 0xa6c4ea50_24795bd2_fe94a02f_c639c0e3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -148,
            mantissa: 0xde5be68e_f5db7f99_bee710a5_ace7c8d4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -147,
            mantissa: 0x8af97245_3faf11e8_1a778d81_00437e4f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -147,
            mantissa: 0xa6c4f221_608e89fe_97d773f8_992f7051_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -147,
            mantissa: 0xc29072db_dd9a0dd5_0c9ee584_1a3afa95_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -147,
            mantissa: 0xde5bf474_b6df8331_7b644b13_993cf4ef_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -147,
            mantissa: 0xfa2776eb_ec6ccfdb_3448f66e_2bd7a0ca_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0x8af97d20_bf27eccd_6a7ca5f1_a87a1a3c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0x98df3f3a_b64b431d_245675fe_3061108f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0xa6c501c3_dba75dc2_64136e97_019d0a3b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0xb4aac4bc_2f432fa3_6cdadac4_d6925bd4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0xc2908823_b125aba7_2899e237_91d29632_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0xd0764bfa_6155c4b5_28039e1f_0323a4c1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0xde5c1040_3fda6db5_a2912e03_afc8cc28_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0xec41d4f5_4cba9991_7681cc9f_9e0d89f9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -146,
            mantissa: 0xfa279a19_87fd3b32_28dae4b7_241255e1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0x8406afd6_78d4a2c0_f2b412f8_dceda28e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0x8af992d7_c4e2d5b5_bf5dccd9_67504857_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0x91ec7610_a82cafed_3716dbf9_50b07f85_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0x98df5981_22b5aadd_69eebe0b_8e5b18e1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0x9fd23d29_34813ffc_bb583ce6_5af56beb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xa6c52108_dd92e8c1_e22978ef_a7a962a0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xadb80520_1dee1ea3_e89bf389_8ef27836_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xb4aae96e_f5965b1a_2c4c997e_c90bab0b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xbb9dcdf5_648f179c_5e3bcd6f_21fe6224_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xc290b2b3_6adbcda2_82cd723b_f1524680_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xc98397a9_087ff6a4_f1c8f574_935e109b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xd0767cd6_3d7f0c1c_565959c2_e4394a59_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xd769623b_09dc8781_af0d4157_bc4f05be_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xde5c47d7_6d9be24e_4dd6f857_6e9188b8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xe54f2dab_68c095fb_d80c7f46_484eee3d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xec4213b6_fb4e1c04_46679575_12a6bd26_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xf334f9fa_2547ede1_e505c36d_95a074fa_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -145,
            mantissa: 0xfa27e074_e6b1850f_5368655f_1ce3110b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x808d6393_9fc72d83_c23a5ac5_7f06c112_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x8406d708_97f0f4a2_df39eb58_90580f93_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x87804a99_5bd7d4a2_cd896f3e_43f38669_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x8af9be45_eb7d8a41_83b16ff7_eecace8c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x8e73320e_46e3d23d_21ec7ae8_ffa1531d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x91eca5f2_6e0c6953_f227268d_464ae907_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x956619f2_60f90c44_680017af_3bbaf2d3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x98df8e0e_1fab77cd_20c8069e_4ae400de_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x9c590245_aa2568ac_e381c465_1a67ee13_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0x9fd27699_00689ba2_a0e23fff_d718794e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xa34beb08_2276cd6d_73508b92_7f485b97_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xa6c55f93_1051bacc_9ee5e19f_2eecdb55_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xaa3ed439_c9fb207f_916daa3c_6c8fdc9d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xadb848fc_4f74bb45_e265804b_77126ed3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xb131bdda_a0c047df_52fd36ae_943fd7b4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xb4ab32d4_bddf830b_ce16dd7f_60311bf6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xb824a7ea_a6d4298b_6846c745_1d8105ac_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xbb9e1d1c_5b9ff81e_5fd38e2b_0650a884_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xbf179269_dc44ab85_1cb61936_9e1c641f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xc29107d3_28c40080_3099a17e_0461648c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xc60a7d58_411fb3d0_56dbb75e_4813a12b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xc983f2f9_25598236_748c47b1_bbe45a07_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xccfd68b5_d5732873_986da106_4b5913e1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xd076de8e_516e6348_faf478d3_d0b31300_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xd3f05482_994cef77_fe47f0b2_6ba754ff_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xd769ca92_ad1089c2_2e419b90_d8e709b7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xdae340be_8cbaeee9_406d82ea_ca788b6f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xde5cb706_384ddbaf_140a2bff_40e0d670_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xe1d62d69_afcb0cd5_b2089d06_e51d8034_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xe54fa3e8_f3343f1f_4d0c626a_636f2e4f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xe8c91a84_028b2f4e_416b93f8_c6f48d30_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xec42913a_ddd19a25_152eda1d_d615c6f5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xefbc080d_85093c66_78117318_6fc07a66_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xf3357efb_f833d2d5_43813830_e974324d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xf6aef606_37531a34_7a9ea2ef_6e1f5d41_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xfa286d2c_4268cf47_4a3cd252_5dccc623_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -144,
            mantissa: 0xfda1e46e_1976aed1_08e19004_ae218d5d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0x808dade5_de3f3aca_9b62aaca_25d5d18a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0x824a69a2_95c0f02b_bee9a8d4_3e00613c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0x8407256d_334155ed_d8d4b69c_2056f729_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0x85c3e145_b6c14a72_e7cc2860_5d7bb77e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0x87809d2c_2041ac1c_ff51b4bd_c834a8f1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0x893d5920_6fc3594e_47c0774a_a81c3561_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -143,
            mantissa: 0x8afa1522_a5473068_fe4cf331_ecb9eb62_u128,
        },
    ];

pub(crate) static LOG10_STEP_4: [DyadicFloat128; 130] =
    // -log10(r) for the fourth step, generated by SageMath with:
    //
    // for i in range(-65, 65):
    //   r = 2^-28 * round( 2^28 / (1 + i*2^(-28)) );
    //   s, m, e = RealField(128)(r).log10().sign_mantissa_exponent();
    //   print("{DyadicSign::Pos," if (s == -1) else "{DyadicSign::Neg,", e, ",",
    //         format_hex(m), "},");
    /* .step_4 = */
    [
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xe1d54641_22cf95a4_e471a82b_bedbe0ae_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xde5bd6ec_7f7bc110_af6e93be_8e4c1764_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xdae26797_a490f80e_e44848f0_a5779499_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xd768f842_920f3a98_90205533_f4e70566_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xd3ef88ed_47f688a6_c01844ac_e3729e48_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xd0761997_c646e232_8151a232_4e41c7c4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xccfcaa42_0d004734_e0edf74d_88cacafd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xc9833aec_1c22b7a6_ec0ecc3a_5cd27e58_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xc609cb95_f3ae3381_afd5a7e7_0a6bf214_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xc2905c3f_93a2babe_39640ff4_47f81ceb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xbf16ece8_fc004d55_95db88b5_422588b1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xbb9d7d92_2cc6eb40_d25d952f_9beffeec_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xb8240e3b_25f69478_fc0bb71b_6ea03578_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xb4aa9ee3_e78f48f7_20076ee3_49cb7b20_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xb1312f8c_719108b4_4b723ba4_3353643d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xadb7c034_c3fbd3a9_8b6d9b2d_a7657754_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xaa3e50dc_decfa9cf_ed1b0a01_987ad9b4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xa6c4e184_c20c8b20_7d9c0354_6f57fc11_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0xa34b722c_6db27794_4a12010d_0b0c4727_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x9fd202d3_e1c16f24_5f9e7bc4_c0f1c851_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x9c58937b_1e3971c9_cb62eac7_5cacde29_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x98df2422_231a7f7d_9a80c413_202be52a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x9565b4c8_f0649838_da197c58_c3a6e445_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x91ec456f_8617bbf4_974e86fb_759f3988_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x8e72d615_e433eaa9_df415610_dadf46b3_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x8af966bc_0ab92451_bf135a61_0e7a1ddc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x877ff761_f9a768e5_43e60366_a1cb2e09_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x84068807_b0feb85d_7adabf4e_9c75efce_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -151,
            mantissa: 0x808d18ad_30bf12b3_7112faf8_7c6591ee_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xfa2752a4_f1d0efc0_676043ec_6b994be5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xf33473ef_12f5cfb9_9fa73d18_6649999d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xec419538_c4ecc544_a53db362_aa5cc6f0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xe54eb682_07b5d053_9266761d_e5e05f13_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xde5bd7ca_db50f0d8_81645201_b36e17ba_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xd768f913_3fbe26c5_8c7a112a_9a2b2a52_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xd0761a5b_34fd720c_cdea7b1a_0dc7ad42_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xc9833ba2_bb0ed2a0_5ff854b6_6e7ded1f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xc2905ce9_d1f24872_5ce6604b_0911c5ed_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xbb9d7e30_79a7d374_def75d88_16cffc59_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xb4aa9f76_b22f739a_006e0982_bd8d96ef_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xadb7c0bc_7b8928d3_db8d1eb5_0fa7375c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0xa6c4e201_d5b4f314_8a9754fe_0c0073a7_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0x9fd20346_c0b2d24e_27cf61a1_9e032f69_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0x98df248b_3c82c672_cd77f748_9d9ef50b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0x91ec45cf_4924cf74_95d3c600_cf484f03_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0x8af96712_e698ed45_9b257b3c_e3f82109_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -152,
            mantissa: 0x84068856_14df1fd7_f7afc1d4_792b015a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0xfa275331_a7eece3b_8b6a8408_31c123d8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0xec4195b6_47c38612_3ef142da_7335b35a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0xde5bd83a_093c6718_3e79062c_7cbb3b7d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0xd0761abc_ec597131_be870ed4_ed5b755b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0xc2905d3e_f11aa442_f3a09874_3d20fb64_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0xb4aa9fc0_17800030_124ad974_bd15fbca_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0xa6c4e240_5f8984dd_4f0b030a_9742eb00_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0x98df24bf_c937322e_de664133_cead362d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -153,
            mantissa: 0x8af9673e_54890808_f4e1bab8_3f55f5a1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -154,
            mantissa: 0xfa275378_02fe0c9f_8e052253_3c713e98_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -154,
            mantissa: 0xde5bd871_a03259cf_129bc1c6_f293726e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -154,
            mantissa: 0xc2905d69_80aef768_e0918216_6eeb17eb_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -154,
            mantissa: 0xa6c4e25f_a473e535_60f08720_313daa3f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -154,
            mantissa: 0x8af96754_0b8122fc_fcc2ea56_6b3af38b_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -155,
            mantissa: 0xde5bd88d_6bad6110_3a25757e_00f4e3a0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -155,
            mantissa: 0xa6c4e26f_46e91b3e_55d3f9e7_0cf177b8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -156,
            mantissa: 0xde5bd89b_516ae82a_3d4aac85_125398d0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Neg,
            exponent: -157,
            mantissa: 0xde5bd8a2_4449ac95_9ab5a849_a06f400d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: 0,
            mantissa: 0u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -157,
            mantissa: 0xde5bd8b0_2a073729_0d3cc88f_d4ef34c2_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -156,
            mantissa: 0xde5bd8b7_1ce5fd51_225916c2_b3f33c90_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -155,
            mantissa: 0xa6c4e28e_8bd3930a_17847f98_acf08d54_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -155,
            mantissa: 0xde5bd8c5_02a38b5e_04439783_0931fddd_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -154,
            mantissa: 0x8af9677f_79717409_c2ab3859_13176984_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -154,
            mantissa: 0xa6c4e29e_2e48d4cc_e454dec8_2bde52e5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -154,
            mantissa: 0xc2905dbe_9fd7e82f_fe1522b0_470d7d7f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -154,
            mantissa: 0xde5bd8e0_ce1eae6a_a6e2721f_2afc3cce_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -154,
            mantissa: 0xfa275404_b91d27b4_75b3458e_ec3c106c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0x8af96795_3069aa22_80bf0ff2_f6cd9f93_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0x98df2528_e2a09a29_f09cc73b_7013b906_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0xa6c4e2bd_7333640c_55ee1480_619827c4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0xb4aaa052_e22207e5_7c2e48d7_72250b3c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0xc2905de9_2f6c85d1_2ed8ba8c_6fa81c98_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0xd0761b80_5b12ddeb_3968c521_4f33fc4f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0xde5bd918_6515104f_6759c94e_2d017fad_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0xec4196b1_4d731d19_84272d01_4c70fe58_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -153,
            mantissa: 0xfa27544b_142d0465_5b4c5b5f_180b9fe1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0x840688f2_dca16327_5c226261_10c254a4_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0x8af967c0_9e5a3178_b345ef5d_90dd6545_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0x91ec468e_cf40ed34_98ce9208_7c5cb614_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0x98df255d_6f559668_f27a0a60_56dcfe57_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0x9fd2042c_7e982d23_a6061afe_b7929f24_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xa6c4e2fb_fd08b172_99308918_494a4a20_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xadb7c1cb_eaa72363_b1b71c7c_ca69a844_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xb4aaa09c_47738304_d5579f97_0cf000a9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xbb9d7f6d_136dd063_e9cfdf6c_f676df42_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xc2905e3e_4e960b8e_d4ddab9f_8032bbab_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xc9833d0f_f8ec3493_7c3ed66a_b6f39fe9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xd0761be2_12704b7f_c5b134a5_bb25cf2e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xd768fab4_9b225061_96f29dc2_c0d26ca0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xde5bd987_93024346_d5c0ebcf_0fa0221e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xe54eb85a_fa10243d_67d9fb73_02d3c705_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xec41972e_d04bf353_32fbabf2_095106f1_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xf3347603_15b5b096_1ce3df2a_a59b0889_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -152,
            mantissa: 0xfa2754d7_ca4d5c14_0b507996_6dd5143e_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x808d19d6_77097aed_71ffb125_05e19d89_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x84068941_40833efc_4657417a_9e657eae_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x877ff8ac_4193fa3d_758de3f1_68f9f8c9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x8af96817_7a3bacb7_f2828ffc_57f43581_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x8e72d782_ea7a5672_b0143e5b_e77b1053_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x91ec46ee_924ff774_a121e91e_1d8769ef_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x9565b65a_71bc8fc4_b88a8b9e_89e47b9c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x98df25c6_88c01f69_e92d2286_46302a9c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x9c589532_d75aa66b_25e8abcb_f5db5b8c_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0x9fd2049f_5d8c24cf_619c26b3_c62a45c8_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xa34b740c_1b549a9d_8f2693cf_6e34c6cc_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xa6c4e379_10b407dc_a166f4fe_2ee6b59a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xaa3e52e6_3daa6c93_8b3c4d6c_d3003616_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xadb7c253_a237c8c9_3f85a195_af160c71_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xb13131c1_3e5c1c84_b121f740_a191f084_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xb4aaa12f_121767cc_d2f05583_12b2e136_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xb824109d_1d69aaa8_97cfc4bf_f48d77de_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xbb9d800b_6052e51e_f29f4ea7_c30c3ba5_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xbf16ef79_dad31736_d63dfe38_83eff4e9_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xc2905ee8_8cea40f7_358adfbd_c6d0009f_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xc609ce57_76986267_036500d0_a51aa3b6_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xc9833dc6_97dd7b8d_32ab7057_c2155e78_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xccfcad35_f0b98c70_b63d3e87_4add3ff0_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xd0761ca5_812c9518_80f97ce0_f6673948_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xd3ef8c15_4936958b_85bf3e34_0580712d_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xd768fb85_48d78dd0_b76d969d_42ce9734_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xdae26af5_800f7def_08e39b87_02d0373a_u128,
        },
        DyadicFloat128 {
            sign: DyadicSign::Pos,
            exponent: -151,
            mantissa: 0xde5bda65_eede65ed_6d0063a9_23dd0cc6_u128,
        },
    ];