Documented double-double flonum operations