Opening up a range (multiple) ports

I can't find a way to open up a range of ports, so something like: ufw allow 9000:9010

None of the syntaxes I could come up with work and looking in the source, you can see that none would match ^\d+$ ;-)

Currently the only solution I could find was using bash:
for port in {9000..9010}; do echo sudo ufw allow $port;done

(Remove the above echo to actually execute the commands). However, this will add a rule for every port, while ranges would be more efficient in the firewall.

Please add multiple-port support.

ufw 0.16.2