unused typedef for core/base/ieee units