Fix in cast_fptrunc