rename package name from extended-real to extended-reals (cont'd)