{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"ieee::Double::from_u128_r(int_max(signed,"}]}
                ieee::Double::from_u128_r(int_max(signed, int_width), Round::TowardZero);
            let rounded_max =
            assert!(rounded_max.value.is_finite());