Friendlier values for non-exhaustive float pattern counter-examples
Cleanup: do not need these functions
Removed expansion of non-char integer intervals.

By the way, there was an overflow with large ranges leading to a stack overflow.

Keep expansion for char intervals to still have ocaml be compiled correctly
Interverted values for least/greatest elements of open ranges