I bet that /8 went for more than the "average" value of an IP address. Larger contiguous blocks are more useful, and having a /8 has got to have some prestige value as well.
Update: I just found http://www.circleid.com/posts/20180731_the_ipv4_market_2018_... which says
> As we head into the last half of 2018, small blocks are selling for just over $18/number, mid-blocks are in the $15-$18/number range, and large blocks have surpassed the $20/number threshold
so it seems there's a bit of an U shape, where mid-sized blocks have the lowest price per address.
AWS paid $108 million for this /10. That’s $25.74 per IP address.