Hola,
La verdad pienso que 1.2345678 redondeado a tres cifras es 1.235.
Que pasa si 1.2345678 lo multiplicas por 1000?
te da 1234.5678
Y si lo truncas? (o sea, te quedas solo con los enteros)
pues da 1234
fijate que ahi estan las cifras que tu quieres
ahora divide por 1000 y quedara el resultado que quieres.
Es decir, el algoritmo para lo que quieres es
Código:
truncar a entero a*1000
dividir el numero por 1000
Si quieres que salga redondeado asi como yo pienso que debe ser,lo que debes hacer es
Código:
truncar a entero (a*1000+0.5)
dividir el numero por 1000
Saludos