toJSON(type(i64))
