[j.870a] rewrite DoubleSpinBox; use DoubleSpinBox for intensity; simplify RealLimits (#870) (Closes #870) Merging branch 'j.870a' into 'main'. See merge request !2205