Let's use int32_t and float64_t instead.