e0b3a8b5a2
In issue #1184, cppcheck found several issues in the printf formats used to display integers, some of which are unsigned but which used to still rely on "%d".