Add an implementation of dual numbers