Uff, das hätte ich so nicht gedacht. Im deutschsprachigen WordPress-Forum fand ich zufällig auf der letzten Seite in einem Thread „WordPress in deutscher Sprache“ (klingt ja harmlos) die Lösung. Lest selbst nach.

Zusammenfassend: es liegt an 64 Bit-Maschinen, bei denen ein anderer Integer-Wert erwartet wird. Ich hoffe, es gibt dazu bald einen Bug Report — doch wo kann ich die bei WP eingeben? Und übrigens: ich arbeite am Downgrade — von Hand.