Use correct type for millis on Arduino.