#include <float.h>
unsigned int _controlfp(unsigned int new, unsigned int mask);
void down(void) 
{
   _controlfp(_RC_DOWN,_MCW_RC);
}