our software implementation of directed rounding is described in docs/directedrounding.html
Log in to post a comment.