Mantis:Codev-72283e-Not a number/it

Non numerico