vfp: since we use hardfloat, change the modifer accordingly