random_get_zero_to_one_open

state: Random_State;
random_seed(*state, cast(u64) 1);
for 1..1000 {
    r := random_get_zero_to_one_open(*state);
    assert(r >= 0 && r < 1);
    assert(cast(int) (r * 10) < 10);
}