{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            (rounded_min.value.to_bits(), rounded_max.value.to_bits())
        // To implement saturation, we perform the following steps: