This should not be converted to an `int` here. That is the job of the client code.