int uv_fits_double(UV arg) {

  if(arg < 9007199254740993)
    return 1;

  while(!(arg & 1)) {
    arg >>= 1;
    if(arg < 9007199254740993) return 1;
  }

  return 0;
}