Numerical encoding