This should be removed and the default size used from axiom-types.