range:integers/1

Should this fail?
range:integers([12.0])

It fails but I believe it should succeed.

What arguments are there for making this fail.

I encoutered this in code like:

integers([X]),
var_range(X,Min,Max) % guaranteed to give me integral float (because I know
it's bounded, so not Inf)
 .... lots of other stuff
integers([Max]) % in generic code that did not know whether Max was a
variable or not.

8th Floor The Tower Building	EMAIL: Stefano.Novello@parc-technologies.com
11 York Road                      TEL: +44 (0)20 72614068
SE1 7NX LONDON                    

This e-mail message is for the sole use of the intended recipient(s) - its
contents are the property of Parc Technologies Limited (or its licensors)
and are confidential. Please do not copy, review, use (except for the
intended purposes), disclose or distribute the e-mail or its contents or
allow anyone else to do so without our prior permission. 
Parc Technologies Limited does not guarantee that this e-mail has not been
intercepted and amended nor that it is virus-free. You should carry out your
own virus checks before opening any attachment. Any opinions expressed in
this e-mail message are those of the author and not necessarily Parc
Technologies Limited.