echo str_replace(".","",$JSON['CHF']['satis']); // Noktayı kaldırmak için.

/* Noktadan önceki değeri almak için. */
preg_match("#[0-9].#si",$JSON['CHF']['satis'],$cikti); // Noktadan önceki değer kaç haneli olursa olsun, fark etmeyecektir.
echo $cikti[0];