Ist eine Dezimalzahl eine ganze Zahl?