The implementation of a pipelined floating-point - Idroas, Mariani (2015)