%s -> %d for integer formatting. Testing bears out that this shouldn't make a difference, but just in case there is some weird edge case...