Boa tarde meus amigos.
Tenho a seguinte duvida : Possuo uma tabela no banco de dados onde tenho 4 campos e 1 deles é o "valor_faxina" que já está como decimal. Sendo assim gostaria de realizar alguns cálculos com esses valores, montei o script abaixo porém lá no final do código não estou conseguindo exibir a media dos valores.
Se alguém puder me ajudar com esse problema.

<?php

$servidor = 'localhost';
$usuario = 'root';
$senha = '';
$banco = 'cadfax';

$conecta_banco = mysql_connect($servidor, $usuario, $senha, $banco) or die ("ERRO NA CONEXÃO DO BANCO DE DADOS");
$seleciona_banco = mysql_select_db($banco)or die ("ERRO NA SELEÇÃO DO BANCO DE DADOS");

// INÍCIO CÓDIGO ABAIXO PARA NÃO HAVER ERRO DE CARACTERES AO SALVAR NO DB
mysql_query("SET NAMES 'utf8'");
mysql_query('SET character_set_connection=utf8');
mysql_query('SET character_set_client=utf8');
mysql_query('SET character_set_results=utf8');
// FIM CÓDIGO ABAIXO PARA NÃO HAVER ERRO DE CARACTERES AO SALVAR NO DB


$result = mysql_query('SELECT * FROM dados_faxina order by local_faxina asc');

//Mostra a quantidade de faxinas cadastrados
$total_faxinas = mysql_num_rows($result);
echo "<div id='informacaoTotalFaxina'>"." Total de ".$total_faxinas." faxinas cadastrados"."</div>";





/* dados da seleção */
$selec = "select sum(valor_faxina) AS soma FROM dados_faxina";
$exec = mysql_query($selec) or die(mysql_error());



/* exibindo o resultado */
while($dados=mysql_fetch_array($exec)) {
echo "<div id='informacaoTotalFaxina'>Valor para receber: "."R$ ".$dados['soma']."</div>";
}


/* exibindo o resultado */
$media = $dados / $total_faxinas;
echo $media;






?>