a RowComparator for double values
getter for the File object, to call methods like exists()