Constant DEFAULT_ROTARY_SCROLL_FACTOR_DP 

pub const DEFAULT_ROTARY_SCROLL_FACTOR_DP: f32 = 64.0; // 64f32

Android’s default vertical scroll factor expressed in density-independent pixels.

Android derives the real factor from the current theme’s listPreferredItemHeight via ViewConfiguration.getScaledVerticalScrollFactor(), which needs a JVM Context. Cranpose’s Android backend has no JNI dependency in its input path, so it defaults to this value scaled by the display density and lets the host override it with the exact platform number (see AppShell::set_rotary_scroll_factor).