DefIndex formatting should split the "address space" and actual index.

[eddyb]

Right now we see things like DefIndex(2147483663) and DefIndex(2147483659) which are annoying to look at and tell any differences between - compare to 1:11 and 1:15.