1 error: need to convert IO CDouble to Double