integers as real sort and characters as strings