fix sitofp cast