Module Bap_elementary

Elementary is a library that provides few primitives for approximations of floating point operations via table methods.