Dtype "float32" leads to assertion error Check failed: is_zero(dom->min) == false

Hello everyone, I am trying to understand more about the te in tvm, but I’m confused about the error Check failed: is_zero(dom->min) == false during the below code executing:

import tvm
from tvm import te

dtype = "float32"

n = te.size_var("n", dtype=dtype)
k = te.size_var("k", dtype=dtype)
m = te.size_var("m", dtype=dtype)
A = te.placeholder((n, n), name="A", dtype=dtype)
B = te.placeholder((k, k), name="B", dtype=dtype)

T = te.compute((m, m), lambda i, j: (A[i][j].astype(dtype) * B[i][j].astype(dtype)).astype(dtype))
s = te.create_schedule(T.op)
tvm.build(s, [A, B, T])
TVMError:
---------------------------------------------------------------
An error occurred during the execution of TVM.
For more information, please see: https://tvm.apache.org/docs/errors.html
---------------------------------------------------------------
  Check failed: (is_zero(op->min)) is false:

But it works well if I define dtype = "int32", so I’m curious about the reason why this error occurs.