Further clarifications on the size of the prefix for integer
representations.