rounding down -howto?

How to round the float variable down?

If I use round(), it rounds up or down to the nearliest number.

So…

round (5.4) / 5
round (5.6) / 6

How to round down? In both examples I would like to have 5 as a result. How do I do that?

I suppose I could subtract 0.5 from the float number first and then use round, but perhaps there is another way to do that… Is there a function like round.down?

Also in #PHP _↴