more work on to_int/is_int