moved the implementation of % for String in post_prims