#include <stdio.h>

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