<<rpn a:1 b:4000 precision:"r">>
would return a number between 1 and 4000 (including 1 and 4000).... I did make a widget that returns a random number in a given range. http://inmysocks.tiddlyspot.com/#RandVal%20Plugin
I added a random integer generator to my rpn script. No leading zeros though.would return a number between 1 and 4000 (including 1 and 4000).
In case anyone wants to try it: https://tid.li/tw5/plugins.html – it is a plugin now.