file of integer