[gtirloni]

In December 2018, it was reported that Google transferred ownership of the domain name Duck.com to DuckDuckGo. It is not known what price, if any, DuckDuckGo paid for the domain name

https://en.wikipedia.org/wiki/DuckDuckGo

[sneak]

Being a "competitor" that a monopolist can point to as faux evidence of their not-monopoly status is far beyond any simple integer price.

[vmception]

Especially since we need BigNumber to represent the real dollar value at stake