Fix non zero in int()