Stream.mapToInt: The `mapToInt` method in the Stream API converts each element of a stream into an IntStream by applying a mapping function. This is useful when you need to perform operations on primitive integers, such as summing or finding the maximum value.

https://en.wikipedia.org/wiki/Java_version_history#JDK_8