{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"(rounded_min.value.to_bits(),"}]}
            (rounded_min.value.to_bits(), rounded_max.value.to_bits())
            assert!(rounded_max.value.is_finite());
        };