Corregidme si me equivoco por favor. La funcion file_get_contents devuelve el valor en string siempre, y tu lo que estas haciendo es una operación con números me imagino que es por eso que no te la realiza con bien ya que estas multiplicando números ( int y/o float ) con string.
Intenta forzarlo a float en tu caso estas usando decimales, usa esto haber:
Código:
$NumeroVenta = (float) file_get_contents('http://www.example.com/');
Comenta haber que tal va. Saludos!