JANITORIAL: Use double instead of GLdouble