It might be of help for you.
P.S.: I used "double" and got AC in 0:00.002, then used "real" and got AC in 0:00.000. The problem says:
So I believe that's why "real" is enough.All coordinates are between -10000 and +10000.