Matter and motion of matter are real.
esv::ge is used to check the first value is greater than or equal to the second value. Their types can be the same or not. If their types are not the same, esv::ge gets the correct result with no warnings.
Their types must satisfy esv::real_meric.