On Mon, Mar 06, 2006 at 12:56:23PM +0100, Manuel Bouyer wrote:
> On Mon, Mar 06, 2006 at 12:57:06AM +0100, Tonnerre LOMBARD wrote:
> >  - tvtohz
> 
> You probably want to use mstohz() here

mstohz is similiar, but not the same thing. One important part of tvtohz
is overflow prevention for denormalised inputs. It is used by the CARP
code as well, can we add it directly?

Joerg