Integer to String in PRF