REST - get a random number GET or POST?

Question

How should a random number generator properly be implemented in REST?

GET   RANDOM/

or..

POST  RANDOM/

The se

Answer 1

Definitely GET. Even though it might modify server-side state (if it uses a pseudo-RNG), that's just an implementation detail the client shouldn't care about.