Updated support for Franco.kernel. Overflow of integer.