Dividir entre decimales?

[lems1o]

Buenos dias amigos del foro, tengo la siguiente duda espero me puedan guiar,obtengo mis datos desde mi bd y la divido entre mi ultima columna pero me generar error, los valores son decimales.

<?php
include("Conexion.php"); //conexion

$sql = mysql_query("SELECT * FROM `mgtrading`") or die ("Error en el query: ".mysql_error());
while($rs=mysql_fetch_array($sql)
{
$total=$rs['TOTAL'];
$t_c=$rs['T_C'];
$total_dol= $total / $t_c; $tabla[] = $total_dol . "\t"; //DSUBDIA


//Fila 1
$tabla[] = $total_dol . "\t"; //DSUBDIA


$tabla[] = "\r\n";


}
$tabla = join('', $tabla);
file_put_contents('divide.txt', $tabla);