static double fracNonNeg(double d) {
  ret frac_nonNeg(d);
}