[std] Rewrite Int64 as an abstract
[tests] Rewrite Int64 unit tests
[java] Implement abstract Int64
[cs] Implement abstract Int64