static double toDouble(O o) {
  if (o instanceof Number)
    ret ((Number) o).doubleValue();
  if (o instanceof BigInteger)
    ret ((BigInteger) o).doubleValue();
  throw fail(o);
}