float.i

/*@ requires f == 0.1f ;*/
void main(float f) {
 /*@ assert 0xfffffffffffffffff == 0xfffffffffffffffff; */
  return;
}