It still seems weird to me to call this `IdentityMatrix` because of the scale factor.  Maybe `ScaledIdentity` or `ScalingOperator`?