PHP array ... possible problem?

I was glancing at PHP today and found this article, albeit an old article, but it raises a possible issue with our battle routines.

http://www.php.net/manual/en/language.types.array.php

While PHP handles arrays, it apparently does so as INT, which has ramifications for those single precision numbers we use in array form.. ie.. keeping track of fractions of ships destroyed.

Any workarounds or perhaps this is just an old article?

Best,

Jim

Should be something we can track down with an Internet search. -- Tim