Bei einer Formulierung wie
if (millis() - buttonMillis >= buttonIntervall) {
bekommt man keine Probleme beim Überlauf.
Die Differenz ist positiv, relativ klein und vor allem richtig, selbst wenn millis() 0 oder kurz darüber liefert, und buttonMillis eine Zahl kurz vor dem Überlauf ist.