static double naN() {
  ret Double.NaN;
}