const EXTRA_MIN_FRACTION: f64 = 0.5;
The share of a period after the last frame from which a change landing in a window a frame already took may be sent as an extra frame (FramePace::windowed).
FramePace::windowed