implemented (bytevector u64) library