Minor complaint about help for "pick random" block

The documentation gives the impression that it generates random integers:


I was about to do some arithmetic to generate fractional values but then decided to experiment and was pleasantly surprised that if either input to "pick random" is a non-integer then the output is (nearly always) a non-integer.

Do we think help should be more helpful or do we think it is good to encourage people to explore and experiment?

I think I should explore and experiment more! I wonder what kind of distribution it is. Presumably it just calls the underlying JS random number generator, so I can look it up... Thanks for pointing it out.