Currently, is returns `int<0, max>|false`. We also need to add test coverage for this method and add a native return type declaration.