toJSON(i64 != nil)
