static DoubleRange zeroToOne_value = DoubleRange(0, 1);

static DoubleRange zeroToOne() {
  ret zeroToOne_value;
}