对大型 Nat 字面进行类型检查时,会导致主机栈溢出,而无法识别该字面