ValueIntegerPositiveInfinity: ValueNumber<RNumberValue> = ...