pub const FIXPOINT_MAX_ITER: u32 = 10_000;
The most rounds a FIXPOINT may run: its max_iter is at most this.
FIXPOINT
max_iter