main(){printf("%.14e",.8-1+.2);}