Andreas Fabri 5a52575d39 Remove force_ieee_double_precision(); as this is a global side effect; TODO: Add preconditions in the operations which require this setting

2008-10-17 13:14:08 +00:00

..

Modular_arithmetic

Remove force_ieee_double_precision(); as this is a global side effect; TODO: Add preconditions in the operations which require this setting

2008-10-17 13:14:08 +00:00