Correct type for file size