new files of comparison and casting