[docs] Re: int( ) returns 0