<div>The Typed Racket Performance button in DrRacket informs me that (log v) returns a Complex type, despite all its arguments being reals and that if I do not want or expect a complex number as results, I mam restrict the type of the arguments.  How does one do that?</div>
<div><br></div><div>#lang typed/racket/base</div><div><br></div><div>(: real-log (Float -&gt; Float))</div><div> (define (real-log v)</div><div>   (assert (log v) flonum?))</div>