Add a test for binary operation for UInt64 type

Operation: X % Y