Make sure to have the right fp word size

orchestrator/taste-orchestrator.py

@@ -354,6 +354,10 @@ def CalculateCFLAGS(node, withPOHIC=True):
         result += " -DNDEBUG "  # Not supported by AdaCore's CertyFlie...
         # STM32 CPUs do not not support double precision, make sure ASN1SCC uses floats
         result += " -DFP_WORD_SIZE=4 "
+    else:
+        # For heterogeneous systems (STM32+Native Linux) we must enforce size 8 on Native side
+        # since the compiler is called once and it may have set --fp-word-size 4
+        result += " -DFP_WORD_SIZE=8 "
 
     for binary, listOfFunctions in g_distributionNodes.items():
         key = re.sub(r'_obj\d+$', '', binary)