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