Divisione di base usando variabile e intero?

Non riesco a capire un comando di divisione di base.

count = redis-cli llen domains;
echo $count restituisce 1000

Come posso fare eco a $count/1000 ?

Ho provato diverse combinazioni di:

echo `expr $count / 1000`;
echo $count/1000;
echo ($count / 1000);

Qualcuno potrebbe aiutarmi a creare questo comando e spiegare come dovrebbe essere impostato?

Risposta accettata:

Ti stavi avvicinando...

Vedi Wooledge Wiki sull'espressione aritmetica. Nel tuo esempio useresti:

echo $(( count / 1000 ))

Nota che non è necessario il $ prima della variabile all'interno di (( )) come $ all'esterno esegue la sostituzione. (( )) senza il $ iniziale è una funzionalità solo di Bash. $(( )) la sostituzione è consentita nella shell POSIX.