Expose conversion in x64_stepLib.