Flyspeck/sqr.elf

sqr : real -&gt; real.