Fix in cast_fptrunc and cast_fpext