Int32Value().  Ditto for the one below.