Convert from std::vector<double> to std::vector<int>

[Pete Becker]

Fine, I misdescribed it as casting instead of implicit conversion.

No, you criticized what I said based on misunderstanding the terms that
I used.

You
are still converting it from one type to another that cannot support the
same values (3.6 to an int will not give you 3.6 obviously).

And 1/3 does not give you .3333 obviously. Where's the warning for this?

If I'm
going to do something that loses information, I personally prefer to
have something explicitly describing that (like a static_cast<>).

Okay, so instead of

int i = 1/3;

you advocate writing

int i = static_cast<int>(1/3);

so that you're explicitly describing it.