# Internal JSON representation of this Object ID.
	#
	# Something like `{"$oid": "5578e5dcf344225cc2378051"}`.
	fun to_json: JsonObject do
		var obj = new JsonObject
		obj["$oid"] = id
		return obj
	end