Compilation: numbers.h namespace cleanup.

We don't want our HAVE_this or HAVE_that to make it into our API.