Replace use of basic Int with type synonym "Padding".