{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"F16Range(lo,"}]}
                                F16Range(lo, hi, end)
                                let hi = hi.map(Half::from_bits).unwrap_or(Half::INFINITY);
                            }