Do without the implicit conversion from Int to File and Rank