Converted codicecensimento from double to integer