Flyspeck/arccos.elf

arccos : real -&gt; real.