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