Fix mistake in the `sim-integer-dekker` comments
Fix mistake in the `sim-integer-dekker` comments

cksystemsteaching/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie,ChristianMoesl/selfie