added test for maximum uint64 value