Make NumberRange RA options widget return numbers

ezshrequested to merge
ezsh/fc-pregmod:ra-options-types into pregmod-master

This addresses the problem raised in !4302 (closed).

Merge request reports