Filtering for numeric column breaks if filtering is case insensitive

Filtering for numeric columns breaks if we set column filtering to be case insensitive. This can be checked on https://dash.plotly.com/datatable/interactivity. If the toggle is set to be case sensitive, it filters correctly but as soon as I change it to be insensitive it breaks. This prevents us from setting filter_options={'case': 'insensitive'} and hide the toggle button since the filter won't work correctly. I think case sensitivity should be ignored if the column type is numeric or we can just always filter it with case sensitivity?

Reproduce the issue on the Dash DataTable interactivity page linked in the report, comparing case-sensitive and case-insensitive filtering on a numeric column. Trace the numeric-column filtering path and verify that case-insensitive configuration no longer breaks filtering; the hidden-toggle use case should also work.