JSON encoding of booleans