Yes, I moved the double handling part into each port as getting and setting double are different on ia32/x64 and ARM.