No, if you actually cared about that then you'd numify $num afterward. $num += 0;

Fun Fun Fun in the Fluffy Chair