The Serial.printf is not really part of the official Arduino but neverless it is nice to have since some implementations (e.g. ESP32) provide it as well.