//
// Created by Leonhard Spiegelberg on 4/22/20.
//

#ifndef TUPLEX_I64TOA_SSE2_H
#define TUPLEX_I64TOA_SSE2_H

extern int u64toa_sse2(uint64_t value, char* buffer);
extern int i64toa_sse2(int64_t value, char* buffer);


#endif //TUPLEX_I64TOA_SSE2_H
