static unsigned int insert0(unsigned int i0, unsigned int BitNum);
static unsigned int insert1(unsigned int i0, unsigned int BitNum);
static void swap(double &x,double &y) {
static unsigned int insert0(unsigned int i0, unsigned int BitNum);
static unsigned int insert1(unsigned int i0, unsigned int BitNum);
static void swap(double &x,double &y) {