Thanks for testing barman. Well, that seems to make sense for me. I mean, it sounds like there'd would not be enough health (9/2=4.5; then 4.5/8=0.5625) for Worm 1 to live, so he'd die, but the rounded-down 0.5625 HP are added to Worm 2's health (to prevent everyone from dying in such a situation, I guess), which gives him enough health to live (0.5625+0.5625=1.125 => 1), and then Worm 3 can't live either but cedes his rounded-down 0.5625 HP to Worm 4, etc.