static double zeroOne_double(bool b) {
  ret b ? 1.0 : 0.0;
}