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