Function logos_cold_path 

pub fn logos_cold_path<T>(exact: impl FnOnce() -> T) -> T

The branch a guard sends a computation to when its machine-word form may not hold: run out of line, so the exact arithmetic it inlines (big-integer cases and all) never sits in the hot function beside the word form it guards.