Floating point comparison seemingly yielding wrong results

[zero9178]

Given the following program:

#include "dynamatic/Integration.h"
#include <stdint.h>
float test7(double var2, float var0[2]) {
  return var0[5.437935e-01 < var2];
}

int main() {
  double var2 = 9.902690e-01;
  float var0[2] = {8, 2};
  CALL_KERNEL(test7, var2, var0);
}

Compiling it using:

dynamatic --exit-on-failure <<EOF
set-src test7.c
compile
write-hdl
simulate
exit
EOF

yields a simulation error as dynamatic returns the value 8 when it should be 2.