class Main {
public static void main
(String[] args
) { float f = 12.345f;
System.
out.
printf("%.15f\n", f
); }
}
Y2xhc3MgTWFpbiB7CiAgICBwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgewoJICAgIGZsb2F0IGYgPSAxMi4zNDVmOwogICAgICAgIFN5c3RlbS5vdXQucHJpbnRmKCIlLjE1ZlxuIiwgZik7Cgl9Cn0=