#line 1 "test.c" /0
  void main(void)
 {
 unsigned int i;
 
 i = 10000.0/12/22.184;
 }