I'd also like to make you notice that Rock Slide should do 19 dmg just like Ice Punch: (8 [Base Power] + 4.5 [Stat Difference]) * 1.5 [Super-effective] = 18.75 rounded at 19. Now, it probably won't matter because Ice Punch should KO, but, you know, every bit counts^^