Flyspeck/==.elf

: real -&gt; real -&gt; o. %infix none 4
.