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