Простая математика:

  $a=$b/$c; echo $a;

если $ b равно 123.00, а $ c равно 1, то $ a становится 123.

Если $ b равно 123.50, $ c равно 1, $ a равно 123.50. Но в первом случае я хочу, чтобы $ a было 123,00.

Можно проверить, имеет ли $ a какую-либо ненулевую дробную часть или нет, и затем добавить завершающие нули при необходимости.

Но я ищу функции PHP, чтобы сделать то же самое. Возможный?

EDIT :

Что делать, если я не хочу запятые отnumber_format там ?