bug fix in equals
doc
remove integer test from NumberSpinner, it was generalized to handle decimals