CLASS {Random_soft|_numbers_generator} , TESTED, NATIVE :
STRUCTURE {seed|_value}
INT Low|_32_bits
INT High|_32_bits .
{seed} Seed|_current_value , READ
METHOD Set_seed ( {seed} Value|_to_set ) , SETTER FOR Seed
METHOD Next|_in_range ( INT Max|imum_value_below_32768 ) ==> INT
METHOD Probable|_value_from_0_to_1 ==> REAL