Делал что то похоже
получилось так
$devide = (float)'1.3400'; //исходное число, при float отрезает не нужные 0
$explodeDigits = explode('.', (string)$devide); //делим по запятой
echo strlen((string)$explodeDigits[1]); //количество знаков после запятой