[PHP]date() problem, brak info w manualu Opcje

[phpcodex]

Witam. Potrzebuje uzyskać dla danego czasu sekundy bez wiodącego zera. O ile sytuacja jest prosta dla minut, godzin, etc. o tyle w manualu w tabelce nie ma nic na ten temat .... jest tylko że 's' daje sekundy z wiodącym zerem, co mi nie jest po drodze ponieważ może być problem z rzutowaniem prostym tak zwróconej wartości do [int]

manual czytałem tutaj:
https://www.php.net/manual/en/datetime.format.php