fix is_integer