floatConversionOverflow ftp://ftp.de.debian.org/debian/pool/main/v/validns/validns_0.8+git20160720.orig.tar.gz 2.13.0 loc.c:43:12: error: Undefined behaviour: float (1000.5) to integer conversion overflow. [floatConversionOverflow] 2.13.0 loc.c:43:12: error: Undefined behaviour: float (1e+06) to integer conversion overflow. [floatConversionOverflow]