FP-ANR: A representation format to handle floating-point cancellation at run-time | IEEE Conference Publication | IEEE Xplore