Do I change both to float64_t?