simplify unf_equal printing
handle AsIs class in unf5
simplify unf_equal printing
simplify unf_equal printing
fix rounding in unf5
change equal_unf to a binary operator
updated details on empty char strings
handle empty char strings