I think `onenorm` can be removed. We should add it if we actually need it in the future.