added some float64() casts, based on similar casts in the 32bit code path, which makes ARM to build again

git-svn-id: http://svn.freepascal.org/svn/fpc/trunk@25914 3ad0048d-3df7-0310-abae-a5850022a9f2