Explicit Int64 type in a solution of the 5th problem