In the interest of fairness.
Damage Rounding: Damage is rounded at the end of the Round. This means that if in a Round, a Pokemon takes attacks of 16.5 and 14.5 damage, the total damage is 31 even. .5 is always rounded up. The only exception is that if a Pokemon is left at .5 HP or less at the end of an Action, that Pokemon is considered KOed.
Darth Vader... still got a chance to use Head Smash.