The problems are with FloatingPointType and FloatingPointUnit: -> Type.doubleValue() -> Type.bigDecimalValue() -> FloatingPointUnit use BigDecimal -> FloatingPointType learn how to re-pack IEEE 754/854 80-bit floating-point values values into BigDecimal's. -> ?
Updates for migration to BigFloatingPoint. frysk-core/frysk/value/ChangeLog 2008-01-17 Teresa Thomas <tthomas@redhat.com> * Value.java (asBigFloatingPoint): New. (doubleValue): Use BigFloatingPoint. * IntegerType.java (getBigFloatingPoint): New. (bigFloatingPointValue): New. * FloatingPointType.java (getBigFloatingPoint): New. (bigFloatingPointValue): New. (assign): Use BigFloatingPoint. * ArithmeticType.java (getBigFloatingPoint): New (bigFloatingPointValue): New. * Format.java (printFloatingPoint): Use BigFloatingPoint. commit 10a04274e7e6d5b785459fece631e571e2eda71a Author: Teresa <tthomas@redhat.com> Date: Thu Jan 17 13:57:39 2008 -0500 Files to define and support IEEE 754/854 floating point. frysk-core/frysk/value/ChangeLog 2008-01-17 Teresa Thomas <tthomas@redhat.com> * FloatingPointFormat.java: New. * TestFloatingPoint854Format.java: New. * FloatingPoint854Format.java: New. * BigFloatingPoint.java: New.