uno::conv
pub fn extend_unorm<A, B>(n: A) -> B where A: Num + Bounded + Unsigned, B: From<A> + Num + Bounded + Unsigned,