Oh, yes, that was the intention. I figured is_integer handled this.