double? no uint_64_t?