Pues para darle formato a la salida de la BD podrías usar number_format() desde php
Código PHP:
$num = el valor sacado de la base de datos;
$num = number_format($num, 0, '','.');
Luego imprimes $num en el documento
tampoco sé si existe alguna forma mejor de hacerlo.
Un saludo
