Faster directed rounding for inline arithmetic - View it on GitHub