php number_format oder ähnliches

[Regina Schaukrug]

was daran liegt, dass es doch bereits ein Floatwert war.

So aussah wie ein Floatwert. (Punkt als vermeintlicher Dezimaltrenner). Wenn die Aktion nötig war (es also unnötige Kommastellen gab), dann war es definitiv ein String und $float = floatval( $string ); hätte gereicht.