A more rigid signature for DSP.{add,sub,mul,div,pow}