<div dir="auto">Could we implement IEEE quadruple-precision (binary128) format?</div>