Wandelt eine Release-Nummer in eine Dezimalzahl um.
Das ermöglicht das Vergleichen von Release-Nummern.
{{rel2dec|11.8.5}} → 11.0805
{{rel2dec|11.8.25}} → 11.0825
{{rel2dec|12.5.9}} → 12.0509
{{rel2dec|grün}} → 0
{{rel2dec|grün.rot}} → 0
{{rel2dec|g}} → 0
{{rel2dec|12.2024}} → 0