Ok: it appears to be possible to be done in the formula sandbox, like this. First get the user IDs:

Code:
$ids = record\findMany('User',100,
...