Fix sys_get_random_number

Thanks @Nekotekina.