The docs seem outdated. Also it could be an `int`, now that it is no this dedicated interface, right?