j
k
j a
j l
Currently 'floor' doesn't work on Integers. I think this is undesirable.
I missed the motivation - can you elaborate? Or, to put it another way, wouldn't floor always act as the identity? What would this buy us? -- Alastair Reid
Back to the thread
Back to the list