Add a test for binary operation for UInt64 type

Operation: X - Y