is_rat should succeed on integers