php convertendo formatado int para int

Desculpe por perguntar isso, mas não consigo encontrar uma solução que obtenha isso -> 7.000 a 7.000.

Eu estou usando intval () e number_format (), mas ele só vai me dar 7 não 7000.

$myVal = '7,000';
echo intval($myVal);

isso retorna 7

mesmo vai com number_format ()

O que estou fazendo de errado?