typenum `Div` results in overflow

[lcnr]

use typenum::{consts::*, Div};
fn is_div<T: Div<U>, U>() {}
fn main() {
    is_div::<U2, U1>();
}

fails with unavoidable overflow errors in the new solver