Dezimalen bei Bonuspunkten

Bislang konnten Dezimalzahlen nur im Bereich der Bestleistungspunkte
vergeben werden (Beispiel 0,5 Punkte).
Dies ist jetzt auch im Bereich der "Bonuspunkte Anwesenheit" und
"Bonuspunkte Gruppenspiel Sieg" möglich.