--- SimoneTrenta.00_numero.output 2015-05-24 17:45:13.309321328 +0200 +++ 00_numero.out 2015-05-09 16:49:31.436717885 +0200 @@ -1 +1,2 @@ -0.0 +1234.0 +