[Plugin: Random Number Generator] Decimal number format

Is there a way of setting number format to be decimal? When I include on my widget,element inspector shows a hex value. I would like 1000 – 9999 decimal.
Thanks

http://ww.wp.xz.cn/extend/plugins/random-number-generator/