There are some distinctions between =Int and ==Int, but I don't feel the most qualified to talk about them.  Andrei, Grigore?