handle int64 and uint64 in binary format even on 32bit platforms