PHP round to integer

Question

I want to round a number and I need a proper integer because I want to use it as an array key. The first \"solution\" that comes to mind is:

$key = (int)roun         


        

Answer 1

Integers stored within floats are always accurate, up to around 2⁵³, which is much more than can be stored in an int anyway. I am worrying over nothing.