3 ms·

Well, the value would seem to be somewhere below $3b, so that's a good place to start for assigning the average value over those 95k patents...