// f: voidfunc(float)
static JSpinner jLiveValueSpinner(SimpleLiveValue<Int> lv, int min, int max) {
  ret liveValueSpinner(lv, min, max);
}