#include <stdio.h>
int main(void) {
float floatingPart = 1.400000;
printf("%0.8hf\n", (float)floatingPart
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglmbG9hdCBmbG9hdGluZ1BhcnQgPSAxLjQwMDAwMDsKCXByaW50ZigiJTAuOGhmXG4iLCAoZmxvYXQpZmxvYXRpbmdQYXJ0KTsKCXJldHVybiAwOwp9Cg==