It looks like you want to do some calculations involving double-precision floating point numbers and 64-bit integers.
Unfortunately, the recommend compiler for the Wixel (SDCC) does not support either of those number types. If you can get the calculations to work using single-precision (32-bit) floats and 32-bit integers, then the Wixel would probably work, but I don’t know enough about those calculations to tell you whether that is possible.
The recommended compiler for the A-Star (AVR GCC) does support 64-bit integers, but does not support double-precision floats. So it should be easier to get those calculations working on an A-Star, especially if you use a third-party library for that sensor.
Please let me know if you have any further questions.