Update double.h

Fixed punctuation.