{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
                // Overflow can happen for 128 bit discriminants if `start` is negative.
            } else {
                // But in that case casting to `u128` still gets us the right value,