fix VSMC_FP_TYPE