title: Is there a function in PHP akin to substr() for integers?
body: <p>I have a phone number which will be recorded as an int (e.g 1234512312345) on my database but which I would like to represent as (12345) 123 - 12345 on a webpage.  If it was a string I would use substr but it seems inelegant to convert it to a strval.</p>
  
  <p>While I appreciate that integers and strings are categorically distinct, is there a means to do something to this effect without writing a less-than efficient function myself?</p>