Random numbers

#include "share/atspre_staload.hats"

staload STDLIB = "libc/SATS/stdlib.sats"
staload TIME = "libc/SATS/time.sats"
staload UN = "prelude/SATS/unsafe.sats"

implement main0 () = () where
{
    val () = $STDLIB.srand48 ($UN.cast {lint} ($TIME.time_get ())) // seeding the RNG using current time
    val () = println! ($STDLIB.drand48 ())
}