#include <stdio.h>

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