pub type I64<E> = Integer<E, i64>;