add a testcase for the double/float issue on ARMHF