python f string format integer leading zeros