A combined decimal and binary floating-point divider | Publicación