double constant simplified