Welcome!
Red ramshorn snails are supposed to be good algae eaters. I attached a photo of one below. Snails can float and be alive. They can also hole up for a while. If the snail in question now has a white body, that may indicate that it's decomposing, and in fact, is dead. If you pick it up, if it's alive, it will retract. If it's dead, and you take a sniff, you will know. Dead snail is pretty strong.
The green dye you used could be malachite green or various other dyes. They are toxic to parasites, and they often are toxic to snails as well. I would suspect the medication hurt the snails. PimaFix is all natural and would not harm them. Most antibiotics and all natural treatments are safe for snails. Parasitic and fungal medications usually are not safe for snails. If you needed to treat the tank with those, I would move the snails to another tank.