## PackageDescription: SYSBUG-timesTwoPowerTest

SYSBUG -times Two Power TestLast published: August 30, 2015 by 'nice'

Defines 1 Classes

Extends 1 Classes

#timesTwoPower: is multiplying a floating point by a power of two, so is generally exact.

But it might be inexact in case of underflow.

Two consecutive inexact rounding operations can lead to an incorrect rounding (known as "double rounding")

It is thus vital that the first operation be exact if ever we have to decompose timesTwoPower: in two operations.

This package provides a test demonstrating the double rounding problem with naive implementation.