Cleaning up Dual Numbers