Flyspeck/cos.elf

cos : real -&gt; real.