JSON generation for numbers

Ints only, for now.