Wandelt eine Release-Nummer in eine Dezimalzahl um. Das ermöglicht das Vergleichen von Release-Nummern.
{{rel2dec|11.8.5}} → 11.0805