Flyspeck/sqrt.elf

sqrt : real -&gt; real.