Improves definition of integer representation.

Fixes #595.