RNumberPool: { str: string; val: RNumberValue }[] = ...