(Shortest import: from brian2.core.clocks import check_dt)
from brian2.core.clocks import check_dt)
Check that the target time can be represented equally well with the new dt.