Add some utility procedures for working with integers.

src/json.m:
	As above.