add NewZrFromUInt64 to instantiate a new Zr directly from a uint64#19

ale-linux merged 1 commit intomainIBM/mathlib:mainfrom

f-NewZrFromUInt64IBM/mathlib:f-NewZrFromUInt64Copy head branch name to clipboard