meta-for int also as double {
  sbool lessThanOrEqual(int a, int b) { ret a <= b; }
}

static <A extends Comparable<A>> bool lessThanOrEqual(A a, A b) { ret cmp(a, b) <= 0; }