[sorry for the silly question] Which is the correct way to convert a GLfloat to a GLdouble? (There is any Prelude function that converts a Float to a Double?) -- Andre