Rename 'copy_of_NumberComparator.php'