Fix: number manager does not normalize number anymore