Вопрос оказался не так прост, как кажется. Действительно, в РНР нет функции, которая округляет дробные числа в меньшую сторону.
Так что остаётся только решение, предложенное
Ankhena в комментариях:
floor(758.66318000*10)/10;
Так же, универсальное решение приведено в
пользовательских комментариях к функции round() (я, правда, позволил себе его немного подредактировать):
function round_down($number, int $precision = 2)
{
if ($precision === 0) {
return floor($number);
}
$fig = pow(10, $precision);
return round(floor($number * $fig) / $fig, $precision);
}
(round() в конце на всякий случай, если вдруг деление вернет не 8, а 7.9999999,
как это бывает с дробными числами)
