* commit '5c2591e6eff3233c7f9c5bbae0dd20c1320f0854': Fix bug #7206086 NumberPicker widget should use locale digits