{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"check_float_value(\"1__0.__0__f32\","}]}
        check_float_value("1__0.__0__f32", "10.0");
        check_float_value("1.234567891011121_f64", "1.234567891011121");
        check_float_value("3._0_f16", "3.0");