What does this return?

select cast(@int/1000.00 as decimal(9,1))

Dividing by 1000 may be forcing it to do integer math.