(real &optional real) (values integer real)
(movable foldable flushable explicit-check))
+(defknown %multiply-high (word word) word
+ (movable foldable flushable))
+
(defknown (%floor %ceiling)
(real real) (values integer real)
(movable foldable flushable explicit-check))