Toolset for bit-reproducible floating-point computations