Add AngularJS number padding filter.