spec doesn't handle 64 bits integers