php rundet ungefragt bei printf WHYYYY?