Print out rational literals correctly in External Core