Fixed randomfloat()

Was still using an rand(), which needs integral values, to generate
random floats. Pretty bad so now I use the boost library's random number
generator.