Use float64_t instead of double please.