{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":")"}]}
    ) -> (abi::Integer, bool) {
        max: i128,
        // Theoretically, negative values could be larger in unsigned representation