Double-residue modular range reduction for floating-point hardware implementations | Publicación