string cadena = "12345.78";
cadena = string((real)cadena + 1);
write(cadena);