22:02:16scymtymso there is a difference, but i'm not sure what problem in terms of derived types you are seeing
22:02:18mfianoWith the expt fixed I can now also use the 2-arity floor
22:02:29mfianoSorry, I'm not properly testing after so much trial and error
22:03:31mfianoI don't think there is any problem, apart from the fact that I have to explicitly denote the domain of the float to keep it in non-bignum territory, but that's expected
22:03:50mfianoI think we're all good now. Thank you
22:05:22scymtymthere may still be a problem in that the first two variants (that is SINGLE-FLOAT with vs. without explicit bounds) in https://techfak.de/~jmoringe/sbcl-floor-float-derivation.png produce different results
22:06:24scymtymSINGLE-FLOAT derives INTEGER as the overall result, (single-float <bounds>) derives (integer <bounds>)
22:06:54mfianoThat is a pretty nice setup you got :)
22:08:11mfianoThe last few times I did, it crashed my display driver, exiting out of Xorg, with not even a core dumped or trace
22:08:24mfianoand after a random amount of time...wasn't easily reproducible
22:08:38mfianoBut that isn't on topic here I suppose
22:09:42scymtymsorry to hear that. i wouldn't know where to start with something like that. but yeah, more appropriate for #clim if you want to attack the problem again in the future
22:11:13mfianoThanks for the help everyone. I appreciate it. It was one of those days a stupid mistake caused me to try everything but see the obvious mistake in hindsight