Function floor_divider_latency 

pub fn floor_divider_latency(wa: u32, wq: u32) -> u64

Cycles from a pipelined floor divider’s operands to its quotient: a stage for the magnitudes and the quotient’s sign, a stage per quotient bit — the wq bits the proof bounds the quotient to, never more than the dividend’s wa — and a stage for the floor.