help with removing leading zeros from pandas dataframe

hello! I have a dataframe that looks like this:<br><br>| Name | Company | Mobile |<br>|------|---------|--------|<br>| Bob | IBM | 0409401400 |<br>| Alice | IBM | 0409401400 |<br>| Charlie | IBM | 0409401400 |<br><br>I'd like to remove the leading zeros in the mobile field. So they would read as 409401400 etc.<br><br>How would you do this in pandas?