Much as I hate to reply to my own mail (to parrot-phrase someone else):

> This takes no account of the bounds AFAICS*; it needs fuzzy checks for
upper and lower bounds, which previous versions have done.

Open mouth, insert foot.  My apologies for completely ignoring
rangeIncludes: (which probably still needs to be fuzzy to check for the end
conditions with floats?)

		- Peter, somewhat embarrassed