No need for the `int` conversion.