static double scaleDouble(double a, double b, double x) {
  ret x*doubleRatio(b, a);
}