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.