Make integers default to big ints too