-module s.
-export[m/0].
m()->io:format("~.15e",[1-0.7-0.3]).