fixing radix check in int()