Как разделить число с плавающей точкой на php?

Question

[Дарт Вейдер]

Всем привет, как разделить числа с плавающей точкой на php?

Есть два числа:

$a = 89.7;
$b = 1.2;

echo $a/$b; 
// получаем 74.16666666666667

Если выполнить эти же действия на калькуляторе, то получим 74.75
Как мне получить такой же результат?

Comments

[GavriKos]

Проверил в куче онлайн-интерпретаторов - все дают 74.75

Answer 1

[Ilya Loginov]

bcdiv

Comments

[Дарт Вейдер]

Спасибо, вы мне очень помогли

Answer 2

[toxa82]

$ php -r 'echo 89.7/1.2;'
74.75
$ php -v
PHP 7.3.13