Fixed a bug in old api for unicode representation of integers