3 ms·

That’s not normally necessary. One can often just use tagged dual numbers. I guess one might consider tagged duals hyperduals.

• adamnemecek 8y ago
  What’s a tagged number? Google isn’t helpful.