An arithmetic library and its application to the N-body problem | IEEE Conference Publication | IEEE Xplore