Re: proposal to change acosh



>
>    (3) Fix mul so that 1.0 * x --> 1.0 * x and 1.0b0 * x --> 1.0b0 * x.
>

The problem isn't in mul (the 1=3D test there is checking for integer 1; phew!
not my bug (I wrote mul originally...)) but in simptimes and its related
routines.  It looks like onep1 is used in a variety of places, so it will
require some code reading.

         -s