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