fix int64 implementation