file_int was not close after extracting number of decimals positions