Explicitly cast argument to int