diff --git a/extra/math/miller-rabin/authors.txt b/basis/math/miller-rabin/authors.txt
similarity index 100%
rename from extra/math/miller-rabin/authors.txt
rename to basis/math/miller-rabin/authors.txt
diff --git a/extra/math/miller-rabin/miller-rabin-tests.factor b/basis/math/miller-rabin/miller-rabin-tests.factor
similarity index 100%
rename from extra/math/miller-rabin/miller-rabin-tests.factor
rename to basis/math/miller-rabin/miller-rabin-tests.factor
diff --git a/extra/math/miller-rabin/miller-rabin.factor b/basis/math/miller-rabin/miller-rabin.factor
similarity index 100%
rename from extra/math/miller-rabin/miller-rabin.factor
rename to basis/math/miller-rabin/miller-rabin.factor
diff --git a/extra/math/miller-rabin/summary.txt b/basis/math/miller-rabin/summary.txt
similarity index 100%
rename from extra/math/miller-rabin/summary.txt
rename to basis/math/miller-rabin/summary.txt