printf("%.14e",.1*3-.3)