{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
            // value and the destination type have the same size, so a bitcast is fine.
            // Since u128 and i128 are the only types that can be unsupported, we know the type of