rename: MathConst => RealConst (Jeff's preference).