tree 8b3fc30445bc508a604a71197f312f8d22ff7d38
parent 0b3db69e4102c148b45a4491ef533ff449b0b927
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1520623419 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1520623419 -0300

random floats of different sizes get exactly needed number of random bits
(up to 64)