let uig () = Random.bits () - max_int / 2