trying to use 'std::experimental::randint()'

Hello I'm trying to generate a random int between -2000 and 2000. I will then pass that int to the moveTo() function from the AccelStepper library.

The problem is that I get an error :

C:\Programming\Arduino\rand1900MotorTest\rand1900MotorTest.ino:3:31: 
fatal error: experimental/random: No such file or directory

My code works in codeblocks, but I cant even get it to compile in arduino because of the above error.
I have tried both

#include <experimental/random>

and

#include <experimental/random.h>

Both generate the same error. Do I have to download that library? I have googled around looking for the library to download it with no luck.

Yes, you would have to download the library.

But why not simply use the standard arduino random() function?

int r = random (-2000, 2001);

PaulRB:
Yes, you would have to download the library.

But why not simply use the standard arduino random() function?

int r = random (-2000, 2001);

Oh cool, I didn't know that existed. Thanks!

For future reference, the Arduino language reference.