@random is an impure function returning a random floating point number between 0 and 1 (included). This is not a pure function because two successive calls are likely to return different results.
The resolution of this random number generator is
1/(2^31 - 1), which
means that the minimal step between two numbers in the images of this
1/(2^31 - 1).