import Common.Real.Function.Step