Flyspeck/arctan.elf

arctan : real -&gt; real.