Flyspeck/sin.elf

sin : real -&gt; real.