Am Freitag, den 31.03.2006, 08:10 +0000 schrieb Malek:
> raise an error?

This might be problematic where floating point handling generates values
like 12.3000000001 which is really 12.3