An accelerator for double precision floating point operations