Make use of property extrema in AndorCameraWidget.
Add integer properties.