Random numbers

Run Settings
LanguageATS
Language Version
Run Command
#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 ())
}
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Editor Settings
Theme
Key bindings
Full width
Lines