Fix: fenc numerical policy bugs