cukinia: correct _ver2int output format

The current implementation of _ver2int lets awk format the result.
On some machines, this could lead to result written in scientific
notation, which is harder to compare.

This commit use a printf command to ouput the result in decimal.

cukinia

@@ -1142,7 +1142,8 @@ _ver2int()
 {
 	echo "$1" | awk '{
 		split($1, A, ".");
-		print(A[1] * 10^12 + A[2] * 10^8 + A[3] * 10^4 + A[4]);
+		result = A[1] * 10^12 + A[2] * 10^8 + A[3] * 10^4 + A[4];
+		printf("%.0f\n", result);
 	}'
 }