Esse arquivo parece ser parte de uma extensão de biblioteca PHP para computação de números grandes, como números de ponto flutuante e inteiros com sinal (de acordo com este discussão no fórum ).
A aposta segura seria executar uma varredura antivírus on-line, como as sugeridas por DrJekl.