double-precision arithmetic