pub type I8<E> = Integer<E, i8>;