static inline int double2int(double d)
{
  const double t = d + 6755399441055744.0;
  return *((int *)(&t));
}