JSON generation for booleans