Paste #146421

//20201002
#include <stdio.h>
int main(void)
{
	double x = 1.12345678901234567890;
	x = x - 0.1234567890;
	x = x - 0.000000000012345678;
	printf ("%20lf\n"), x;
}