Dann wird doch die 5, bzw. 5.0 nicht gespeichert?
Allerdings sollte das DEFAULT garnicht verwendet werden, wenn ein STORED angegeben ist, womit das ein Fehler wäre.
Und ja, das "normale" Default an Properties ist nur für
ordinale Typen nutzbar (Byte bis Integer und Enums bzw. Sets)
Daher wurde schon vor Längerem das [Default]-Attribut hinzugefügt. (geht auch für Strings)
Und natürlich müssen Atttribute vor/über dem stehen, für was sie gelten.