ieee/IEEE.NUMERIC_BIT-body should depend ieee/IEEE.NUMERIC_BIT.