export function div<T extends Int | "float">(l: Term<T>, r: number): Op2<T>;