Matthias Mailänder 47075e1cd0 generate random numbers as floats ...

as they get converted from double before use anyway

2013-03-01 10:53:41 +01:00

..

Random.cs

generate random numbers as floats

2013-03-01 10:53:41 +01:00