Explicitly specified return types of integers