Corrected non-integer "abdeckung"