Use hardware floating point for arm (v4)