Added tests for Uint64.