static JSpinner mapMethodLike dm_doubleSpinner(S field, double min, double max) {
  int steps = 10000;
  ret liveValueSpinner(dm_fieldLiveValueWithConversions(field, Int,
    d -> iround((clamp(d, min, max)-min)/(max-min)*steps),
    i -> min+i*(max-min)/steps), 0, steps);
}