Is there a better way to add leading zeros to a int in dart and flutter

Question

I created an extension for the dart int to add leading zeros and I am wondering if there is a more elegant way? My take on it:

extension IntExtensions on int