  A dichotomy for expansions of the real field is established: Either the set
of integers is definable or every nonempty bounded nowhere dense definable
subset of the real numbers has Minkowski dimension zero.
