/**
 * Returns the result of the integer division a/b.
 *
 * * **precondition:** a and b must be integers, b !== 0
 */
declare function eIntDiv(a: number[], b: number[]): number[];
export { eIntDiv };