#include <stdio.h>

int main(void) {
	float floatingPart = 1.400000;
	printf("%0.8hf\n", (float)floatingPart);
	return 0;
}