Added and implemented get_random_u32, get_random_f