support parsing and formatting dates with no leading zeroes in DateInput widget