pub type I16<E> = Integer<E, i16>;