fix flop count, take into account math done by float3