[eclipse-clp-users] Exponentiation and integers

Hi!

I've found that exponentiation (^) from ic library will not work with
integer constraints even if both values in a exponentiation expression
are integers.

For example, this will not find any possibilities:

N #> 0,
B #> 0,
10^B #> N,

you have to write

N #> 0,
B #> 0,
10^B $> N,

Is this a bug? Is this documented?

Sergey.