#include <stdio.h>

void main(void)
{
  int x = 1234567891;
  float y = x;

  printf("\nx = %d", x);
  printf("\ny = %f\n", y);
}