Encoder: use floating-point operations for irreversible transformation