Probably neither of the default exporters will make use of the normals. However, all versions of Blender can export the true, unmodified normals with a simple change in the script. This is what I did to get Sunflow and Radium to render the true-normal.

I need to update my code and get Blender 2.5X importing, rendering, and exporting properly. But who has the time?