Bit-level allocation of multiple-precision specifications | Publicación