The development of a floating-point validation package | IEEE Conference Publication | IEEE Xplore