DUAL-607
Written using
DUAL (4664)
autocoder with emulated floating point