changed the previously local random number generators to the global ones. fixed some range checks. relates to ticket #759.
Authored by: raph-z 2023-02-11
Parent: [r1323]
Child: [r1325]
