Right-pads this Int to the specified width with padChar.
Extension function on Int.
the right-padded string
the minimum width of the resulting string
the character to pad with (default '0')
'0'