double thumbTopAt(double fraction) { final usable = trackHeight - thumbHeight; if (usable <= 0) return 0; return fraction.clamp(0.0, 1.0) * usable; }