Why is the call to `int` necessary here? How could the stuff on the right ever be anything other than an int?