Function tvm::mul(const PrimExpr&, double, Location)