PR# 19045 Improper comment

Problem Report Summary
Submitter: jimmy.johnson
Category: EiffelBase
Priority: Low
Date: 2015/02/25
Class: Documentation
Severity: Non-critical
Number: 19045
Release: 15.01.9.6535 GPL
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_9_5) AppleWebKit/600.1.17 (KHTML, like Gecko) Version/7.1 Safari/537.85.10
Synopsis: Improper comment

Description
Just noticed in the NATURAL_xx_REF classes `item' has what might be a misleading comment.

	item: NATURAL_64
			-- Integer value
		external
			"built_in"
		end
To Reproduce

										
Problem Report Interactions
From:alexk_es    Date:2015/03/06    Status: Closed    Download   
Fixed in rev#96790 of EiffelStudio 15.05 intermediate release.

From:jimmy.johnson    Date:2015/03/03    Download   
I think "Value" would be better. 

To Eiffel veterans, it is obvious from the return type that the result is a non-zero value (i.e. no sign bit, larger max_value), whereas "Integer value" might imply some relationship to INTEGER.

From:alexk_es    Date:2015/02/25    Status: Analyzed    Download   
Any suggestions to improve this? Just "Value"?