Prettify predefined numbers.

Prettify predefined numbers if they are actually numbers.