Warning: file_get_contents(): php_network_getaddresses: getaddrinfo for developers.agenciaideias.com.br failed: Este host não é conhecido.  in D:\web\localuser\lenitour\www\index.php on line 9

Warning: file_get_contents(http://developers.agenciaideias.com.br/cotacoes/xml): Failed to open stream: php_network_getaddresses: getaddrinfo for developers.agenciaideias.com.br failed: Este host não é conhecido.  in D:\web\localuser\lenitour\www\index.php on line 9

Fatal error: Uncaught TypeError: number_format(): Argument #1 ($num) must be of type float, string given in D:\web\localuser\lenitour\www\index.php:19
Stack trace:
#0 D:\web\localuser\lenitour\www\index.php(19): number_format()
#1 {main}
  thrown in D:\web\localuser\lenitour\www\index.php on line 19