Anja comments on A definition of wireheading

[Anja]

The word “value” seems unnecessarily value-laden here.

Changed it to “number”.