yet another dual number library for C++