FloatX: A C++ library for customized floating-point arithmeticGoran FlegarFlorian Scheideggeret al.2019ACM TOMS