#include <stdio.h>

int main( void ) {
printf( "%g\n", 0x1.AB2Fp15 );
return 0;
}