ValueIntegerZero: ValueNumber<RNumberValue> = ...