Comment 4 for bug 1076428

thanks for finding that report, I had thought that the change would have been more recent than that.
In that case I would suggest using 4 digits. This would provide more precision than most of the other spin boxes which often use 3 digits, and it would still be sufficient to solve this particular bug report.