ValueNumberComplexOne: ValueNumber<RNumberValue> = ...