[Gecode] Testing arithmetic rounding

[Guido Tack]

I must reply to myself...

> Does anyone know a platform where rounding is not defined towards zero? I'd
> just like to test if the preprocessor rounds the same way there.

Isn't the problem rather how a floating-point-to-integer conversion is 
defined? The C++ standard defines it as truncating, i.e. rounding towards 
zero. So we could remove the check completely, or am I missing something?

-- 
Guido Tack
Programming Systems Lab, Saarland University, Saarbrücken
http://www.ps.uni-sb.de/~tack