Fix integer overflow in Util::random