added (double)spinbox widget, added integer type