17:46:31mrcode_yeah, i guess you're right. i was driven more for sake of completeness of understanding of how the types get propagated and how to specify them
17:49:01stassatsoh, what am i thinking, (double-float (0d0))
18:00:45mrcode_so a somewhat related problem is how to inline an ftruncate of a double ? i have note saying that (result (truncate corr)) can't be inlined. corr is (+ 0.5d0 r) where r is a double-float
18:02:34mrcode_basically i have this piece that is giving me trouble, since it's my first time trying to optimize lisp code : https://pastebin.com/UWQ8bSZE
18:02:45stassats(truncate (the (double-float #.(float most-negative-fixnum 1d0) #.(float most-positive-fixnum 1d0)) x))