pub type I32<E> = Integer<E, i32>;