a ya esta mira si es varchar y lo guardas con el puntito ese :º pues no necesitas ponerle coma para multiplicarlo pues no te toma los ceros lo toma como float, como 12 los ceros que vienen despues no son nada pues a lo menos que sea 12,001 se entiende, tiene que hacer un str_replace y dejarlo en blanco luego multiplicar por 0,93733 y el resultado que te de aplicarle un number format ;) se entiende...
Código PHP:
<?php
$a = "10.200";
$result = str_replace('.', '', $a); //quitamos en punto da entero 10200
echo "$result";
//luego multiplicamos si sacas de la base de dstos 0.93733 tienee que ponerle una coma para que sepa que estas trabando decimales pues haces lo mismo....
$b = "0.93733";
$result2 = str_replace('.', ',', $b); //pasamos a decimales
echo "$result2";
//primero prueba con 0.93733 directamente despoues pruebas con la coma :/ no recuerdo como era
//pero bieno pa eso hay calculadoras pa corroborar X)
//despues es solo cosa de multiplicar
$multi = $result * $result2;
/*
y al mostrar $multi le aplicas un number_format ;)
me cuentas que pasa y se te entendi o te salio :P
*/
?>