finer points between Double and double