Don't test int64 because it fails on 32 bit systems