string encode_json()
Defined for use with Standards.JSON.encode , so that it formats NULL as null.
null