You can use `$(XREF bigint, BigInt)` here.