[richfaces-issues] [JBoss JIRA] Reopened: (RF-4110) rich:inputNumberSpinner is accepting decimal.