Cast integer type to result doctest