#!/usr/local/bin/tcc -run
int main(){
  printf("%d %f\n", 1668244581, (float)1668244581);
}