mantis

mantis

A C++14, header-only implementation of double-mantissa arithmetic.