Converted to integer representation.