Random float generation seems like it's a fairly tricky topic to me. Could you add some comments referencing why this is implemented as such and possibly reference other locations which do similar things?