ValueNumberPositiveInfinity: ValueNumber<RNumberValue> = ...