main.c

#include <math.h>
#include <assert.h>

float nondet();

int main(void)
{
  float from = 2.155872e+9f;
  union {
    float a;
    long b;
  } from_union = { .a = from };

  float new_from = from_union.a;
  assert(from == new_from);
}

// 01001111 00000000 01111111 11111111 (from)
// 01001110 10011110 00000001 00000000 (new_from)