tree e35ff74969885932b9d04c5e4f2557d20607b88a
parent 9e3db70482e927e5992cccdb5a40424b33ad0a29
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1520779689 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1520779689 -0300

more explicit casts when converting an integer to a random float
(to ensure computations are done with all bits)