Fixing another small bug in computation of total, forgot to cast int to double.
In CoveredHoleMetric.
Authored by: nerius 2023-05-26
Parent: [r791]
Child: [r793]
