Commit 3454f62f authored by Geoff Simmons's avatar Geoff Simmons

Add the random_real() function.

parent e237e453
Pipeline #234 skipped