Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prevx said this file was infected. What is it and what can I do about it?

share|improve this question
up vote 1 down vote accepted

That file appears to be part of a PHP library extension for computing large numbers such as floating point numbers and signed integers (according to this forum discussion).

Safe bet would be to run an online antivirus scan, such as the ones suggested by DrJekl.

share|improve this answer
Then what do I do if it turns out my computer is infected? – The Green Frog Aug 18 '09 at 13:52
The scanner will probably be able to remove the infection. – DrJekl Aug 18 '09 at 14:49

This file is used by both safe and unsafe programs. Best action would be to do a complete antivirus scan. I recommend the online scan from or or both.

share|improve this answer

you might want to peek in the php.ini file in the extensions area and see if that file is even used (it will have a ; or # in front of it if not used, i forget which). php extensions are enabled/disabled in that file. further, you could rename the file to something else. if you can't rename it, then its in use. if you can rename it, then leave it that way and see if it causes any problems. if not, then delete it at your leisure.


share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.